Moved server test out of library

This commit is contained in:
2020-05-06 22:41:41 +02:00
parent 3b49c00df0
commit c794e4a5d2
17 changed files with 2 additions and 1081 deletions

View File

@@ -1,3 +1,3 @@
let &makeprg="./flint.py --version ../flint/.flint/build/linux/debug/bin"
let &makeprg="../flint2/.build/bin/flint"
map <silent> <F9> :Make<cr>
map <silent> <F10> :Start ./flint.py --version ../flint/.flint/build/linux/debug/bin -rs && read<cr>
map <silent> <F10> :Start ./.build/bin/test && read<cr>