diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2016-10-26 12:58:45 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-10-26 15:05:52 +0200 |
| commit | de43eb36413ac4f2d4705e619c829c0f117adce7 (patch) | |
| tree | 7447904c130ab53c3785bb7862292d5f5dae5241 /Makefile | |
Initial commit
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..8f9447e --- /dev/null +++ b/Makefile @@ -0,0 +1,3 @@ +.PHONY: install +install: + ./install |