diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2019-01-23 12:25:53 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-01-23 12:26:21 +0100 |
| commit | fa53d07ab721c9d873d888b0181b297e231f42e6 (patch) | |
| tree | 5090c5ab8f081546b84e253f0a898ffb7986eaa7 /Makefile | |
| parent | c301cb8074967a0e146d3511d1d6b5cd87a915d4 (diff) | |
Add global .gitignore file
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions