| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-12-10 | option --split-pgf replaces option --mk-index. This splits the PGF into one f... | kr.angelov |
| 2013-11-05 | Eliminate mutual dependencies between the GF compiler and the PGF library | hallgren |
| 2010-12-11 | Adding an option to the gf compiler to add an index to pgf files | gdetrez |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |