WIP: dev #1

Draft
nub31 wants to merge 103 commits from dev into master
Showing only changes of commit 48760dcdda - Show all commits

View File

@@ -1,3 +1,5 @@
#!/bin/bash
set -e set -e
pushd ../compiler pushd ../compiler