diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2019-01-15 11:39:17 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-01-15 11:39:17 +0100 |
| commit | c301cb8074967a0e146d3511d1d6b5cd87a915d4 (patch) | |
| tree | e4b0f273fc66c440451389629b370c2b90ddf66e /Makefile | |
| parent | 5c67cdda35e53e465b05c5ff26d21205bed48e4e (diff) | |
Various old adaptations and now a vim colorscheme
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions