Update

2023-06-14 21:41:54 +03:00
parent 4d034eba7d
commit 9e8ee05bb6
128 changed files with 12242 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 -- "$@"