diff options
| author | aarne <aarne@chalmers.se> | 2012-12-20 16:05:34 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2012-12-20 16:05:34 +0000 |
| commit | 5ff33f47be003088bd5a5b0e5b7c35a83151a751 (patch) | |
| tree | be984e0bdca7b543425516365f35b0e86a74dc3b /examples/tutorial/hello/Hello.gf | |
| parent | d968503d90cbc3a2fa7e41616652a1cd07683c45 (diff) | |
added alltenses to the default search path (just like prelude)
Diffstat (limited to 'examples/tutorial/hello/Hello.gf')
0 files changed, 0 insertions, 0 deletions