diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2018-06-15 14:05:06 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-15 14:05:06 +0200 |
| commit | 2d9240e0365161cb97accb75ccace24eb431e07e (patch) | |
| tree | 04a299dde484a6d29503db6a5edbeeff07e3d988 /src/example-based/ExampleDemo.hs | |
| parent | 71c7fbc7f900a7a3479426d5ee064cd9c6cd2072 (diff) | |
| parent | 92d9e20f1994bbb46f06539d0408376973d30f31 (diff) | |
Merge pull request #62 from inariksit/dutch
Small fixes in Dutch
Diffstat (limited to 'src/example-based/ExampleDemo.hs')
0 files changed, 0 insertions, 0 deletions