oclaunch/dev.scm

;; You probably do NOT need to edit this file manually.
;; Anyway, you may find help at https://s.oclaunch.eu.org/rc


((entries
  (((command "cat dev.scm") (tags ())) ((command task) (tags ()))
   ((command "du -sh ./_build/src/oclaunch.native") (tags ()))
   ((command "free -h") (tags ())) ((command "echo \"Finish\"") (tags ()))))
 (common_tags ()) (settings ()))