preparing changed documentation generation

Cette révision appartient à :
tastytea 2018-06-07 19:25:14 +02:00
Parent 9edc1bab34
révision 5f163d6e0b
Signé par: tastytea
ID de la clé GPG: 59346E0EA35C67E5
1 fichiers modifiés avec 1 ajouts et 0 suppressions

1
.gitignore externe
Voir le fichier

@ -1,4 +1,5 @@
/build/
/doc/
/update_gh-pages.sh
/update_doc.sh
/examples/example99*