diff options
| author | Jakob Unterwurzacher | 2019-01-05 12:25:38 +0100 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2019-01-05 12:25:38 +0100 |
| commit | 8c35235c34448e7d03a36d6109d5de93c22c0054 (patch) | |
| tree | 9d524aa81a24549a3d492cce09aca0f9e3a15f2b /Documentation | |
| parent | 61a6b24d4ec554fd005875029bf87b083421e5d3 (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