diff options
author | Kjetil Orbekk <kjetil.orbekk@gmail.com> | 2017-02-15 08:02:34 -0500 |
---|---|---|
committer | Kjetil Orbekk <kjetil.orbekk@gmail.com> | 2017-02-15 08:02:34 -0500 |
commit | 89a9bba5a686f2ad03d7e5c9ece88de1cba72835 (patch) | |
tree | 11383c4c57a1b07cff75cd7bcefe100d0f4a5c72 /Dispatch.idr | |
parent | 72a5e4b58c29bb90495b6f9512c529a137ba29ee (diff) |
Add gitignore.
Diffstat (limited to 'Dispatch.idr')
0 files changed, 0 insertions, 0 deletions