diff options
| author | hallgren <hallgren@chalmers.se> | 2013-05-02 12:36:16 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-05-02 12:36:16 +0000 |
| commit | e44580aced6deb80a42ecbdbdb11cd7f3f3b8014 (patch) | |
| tree | aa82c74ba2bdd3bdca79b5f4684ba5582ba6a246 /examples/tutorial/smart/HouseEng.gf | |
| parent | 22f44ef61f99acdec5d19f336bb80f6bb3a4e8b7 (diff) | |
Setup.hs: comment out ineffective parallelisation
Diffstat (limited to 'examples/tutorial/smart/HouseEng.gf')
0 files changed, 0 insertions, 0 deletions