summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2021-01-13 11:28:57 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2021-01-13 11:28:57 +0100
commitb7eafd6b952466fe19b198b461f3e98b543dcba9 (patch)
tree93a6990e523d096e6d488c47e3f8c830e481db9e /Makefile
parentf700afd9bcacd4f91daa9ca28e8592bd8f5055db (diff)
Use kdiff3 for git, set default branch to main
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint