move the doxygen script into its own repo
authorMichael Wallner <mike@php.net>
Tue, 28 Jul 2015 07:27:59 +0000 (09:27 +0200)
committerMichael Wallner <mike@php.net>
Tue, 1 Sep 2015 09:09:44 +0000 (11:09 +0200)
commit8b6e4e1fb508f5e22084205fcad206c7a1a0ba58
treec0076a68634b8f9eb94141954f7e8c2719d8c0b0
parentd1ad1f3493134effe4bb5ccd46e07d3120751d85
move the doxygen script into its own repo
Doxyfile
doxygen_gh-pages.sh [deleted file]