forked from github/server
Merge branch 'master' into develop
This commit is contained in:
commit
e056955839
|
@ -1,3 +1,4 @@
|
||||||
|
print("package.path", package.path)
|
||||||
require 'eressea.path'
|
require 'eressea.path'
|
||||||
|
|
||||||
function nmr_check(maxnmrs)
|
function nmr_check(maxnmrs)
|
||||||
|
|
Loading…
Reference in New Issue