This commit is contained in:
Johannes Findeisen 2018-01-04 19:38:54 +01:00
commit 1dabeec797
61 changed files with 975 additions and 351 deletions

View file

@ -1,3 +1,4 @@
-- {{{ Helper functions
function file_exists(name)
local f = io.open(name, "r")
if f~=nil then io.close(f) return true else return false end