aboutsummaryrefslogtreecommitdiff
path: root/Documentation
diff options
context:
space:
mode:
authorJakob Unterwurzacher2019-01-05 12:25:38 +0100
committerJakob Unterwurzacher2019-01-05 12:25:38 +0100
commit8c35235c34448e7d03a36d6109d5de93c22c0054 (patch)
tree9d524aa81a24549a3d492cce09aca0f9e3a15f2b /Documentation
parent61a6b24d4ec554fd005875029bf87b083421e5d3 (diff)
Add Makefile
We are going to use the Makefile to save useful commands without creating too many shell scripts in the top dir.
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions