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 /gf.cabal | |
| 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 'gf.cabal')
| -rw-r--r-- | gf.cabal | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -145,6 +145,7 @@ executable gf GF.Compile.PGFtoProlog GF.Compile.PGFtoJS GF.Compile + GF.Index GF.Quiz PGF PGF.CId |