diff options
| author | Paweł Redman <pawel.redman@gmail.com> | 2018-02-15 14:38:20 +0100 |
|---|---|---|
| committer | Paweł Redman <pawel.redman@gmail.com> | 2018-02-15 14:38:20 +0100 |
| commit | 32ec3abcffe3a1bca0f838a33ec32d5af05cecb6 (patch) | |
| tree | 08eddf90e498282e4d88b39e8c7fce8ffa6e72ce /tools | |
| parent | bae3d77292f9cd131f5eb80d2938ec715bb5fb5b (diff) | |
Add maps/unnamed.map to .gitignore.
I use it as a clipboard.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions