automatic commit

pull/75/merge
Niels 2015-06-21 12:47:35 +02:00
parent e289eada49
commit d200abfb5f
1 changed files with 1 additions and 0 deletions

View File

@ -50,6 +50,7 @@ update_doxygen_online:
git checkout gh-pages
rm -fr html
mv /tmp/github-html html
git commit -m "Doxygen update"
git checkout master
# create scanner with re2c