diff options
| author | Paweł Redman <pawel.redman@gmail.com> | 2016-12-23 14:25:28 +0100 |
|---|---|---|
| committer | Paweł Redman <pawel.redman@gmail.com> | 2016-12-23 14:25:43 +0100 |
| commit | 12efb182e7beb816f512d869864577110b87b8bf (patch) | |
| tree | 1d4c78ffc4fd44f5391e4c0559993b53b22e77d3 /maps/p5_euclid.map | |
| parent | 077d6f4178031d508210cab669c366e938e52e7f (diff) | |
Add maps/*.prt and Makefile.local to .gitignore.
Diffstat (limited to 'maps/p5_euclid.map')
0 files changed, 0 insertions, 0 deletions