Re: SIS web site repository

[Martin Desruisseaux]

Pull request merged

Just for the record, the "find" command that I provided in my previous 
emails was wrong. It should have been:

   find static/ -name "*.html" -exec git reset '{}' \;

Sorry for the extra work caused by my mistake

    Martin