diff options
author | Rasmus Andersson <rasmus@notion.se> | 2019-10-21 21:23:54 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2019-10-21 21:23:54 +0300 |
commit | 95d2ac37d95a68887e71e792f6b05de12bec7bef (patch) | |
tree | c86e79246cbf8b98bcfe148477671e43f954ab7c /Makefile | |
parent | e258ba0bf0fe0314c04a96fb819f6783ce9227cd (diff) | |
download | inter-95d2ac37d95a68887e71e792f6b05de12bec7bef.tar.xz |
fixes bug in init.sh which would write a bad makefile
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions