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