Closed danieldk closed 12 years ago
I'll remove API documentation from the gh-pages branch, each diff is huge and tracking history has no added value.
As a substitute, I'll run a cron script somewhere that runs a 'git pull ; doxygen'.
I'll remove API documentation from the gh-pages branch, each diff is huge and tracking history has no added value.
As a substitute, I'll run a cron script somewhere that runs a 'git pull ; doxygen'.