diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2021-01-13 11:28:57 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2021-01-13 11:28:57 +0100 |
| commit | b7eafd6b952466fe19b198b461f3e98b543dcba9 (patch) | |
| tree | 93a6990e523d096e6d488c47e3f8c830e481db9e /Makefile | |
| parent | f700afd9bcacd4f91daa9ca28e8592bd8f5055db (diff) | |
Use kdiff3 for git, set default branch to main
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions