diff options
| author | IOhannes m zmölnig <zmoelnig@users.sourceforge.net> | 2014-03-25 11:17:42 +0000 |
|---|---|---|
| committer | IOhannes m zmölnig <zmoelnig@users.sourceforge.net> | 2014-03-25 11:17:42 +0000 |
| commit | f907a16fd3aa19c6dad1bedbee448931cb6f89f6 (patch) | |
| tree | 245182b7a6abbe7d65f45756a83009010e2dbe2f /extensions/gui | |
| parent | 478bf6d92611b7400de486f53c324aa659cca018 (diff) | |
use tex4ht to build html
svn path=/trunk/; revision=17288
Diffstat (limited to 'extensions/gui')
0 files changed, 0 insertions, 0 deletions