Update

2023-06-14 21:41:54 +03:00
parent cc4cada363
commit efbda226a1
127 changed files with 12241 additions and 0 deletions
--- a/Server/bin/repl
+++ b/Server/bin/repl
@@ -0,0 +1,2 @@
+#!/bin/sh
+julia --color=yes --depwarn=no --project=@. -q -L $(dirname $0)/../bootstrap.jl -- "$@"