diff options
| author | gdetrez <gdetrez@crans.org> | 2010-12-11 16:36:30 +0000 |
|---|---|---|
| committer | gdetrez <gdetrez@crans.org> | 2010-12-11 16:36:30 +0000 |
| commit | d7ae73f1c7c5b95f1f08dadd314fa7143602b523 (patch) | |
| tree | e76f59a491f36859ae8636affcb6e969ada65af6 /src/runtime/javascript/editor.html | |
| parent | a59df6b49575f54756615c6e2b860ea0972a81eb (diff) | |
Adding an option to the gf compiler to add an index to pgf files
This is gonna be used by the android library to skip unused part of a
pgf file
Diffstat (limited to 'src/runtime/javascript/editor.html')
0 files changed, 0 insertions, 0 deletions