diff options
| author | Gregor Kleen <pngwjpgh@users.noreply.github.com> | 2016-08-05 14:12:42 +0200 |
|---|---|---|
| committer | Gregor Kleen <pngwjpgh@users.noreply.github.com> | 2016-08-05 14:12:42 +0200 |
| commit | 84324ded18f4008d78a3d69e1784e9f3770f8a00 (patch) | |
| tree | fdd6893bb20f3b6962e00ef2fb5d191e421620b4 /events/src/Events/Types/NDT.hs | |
| parent | c5147d03e9f460f8ac8abfec2f5fe48bb2f9a5ec (diff) | |
| download | events-84324ded18f4008d78a3d69e1784e9f3770f8a00.tar events-84324ded18f4008d78a3d69e1784e9f3770f8a00.tar.gz events-84324ded18f4008d78a3d69e1784e9f3770f8a00.tar.bz2 events-84324ded18f4008d78a3d69e1784e9f3770f8a00.tar.xz events-84324ded18f4008d78a3d69e1784e9f3770f8a00.zip | |
drop interpret – it was useless
Diffstat (limited to 'events/src/Events/Types/NDT.hs')
0 files changed, 0 insertions, 0 deletions