diff options
| author | aarne <aarne@chalmers.se> | 2011-11-21 15:30:55 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2011-11-21 15:30:55 +0000 |
| commit | 1f731df2859ad9ce2164c097b5b3f956eb87c82d (patch) | |
| tree | 474ace6fdf852bc58c9c221690a64257bffd467b /src | |
| parent | d66110f84eec765bb26ebaa716bbce79d6c90913 (diff) | |
options for no-pmcfg compilation in lib/src/Make.hs (for library developers, rather than users); adding Thai to some demo and documentation
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions