remove locally used scripts
[sqlgg.git] / src / config.ml
blob01fbd86e7c243c0ac388850f413e3415f3968a20
1 (** *)
3 (** Sqlgg version *)
4 let version = Version.id
6 (** Debug level *)
7 let debug_level = ref 0
9 let debug1 () = !debug_level > 0