Commit 494e0dc2 authored by Cedric Roux's avatar Cedric Roux

bugfix: forgot to reprocess files in the previous commit

parent 27bb59d3