repo.or.cz
/
sqlgg.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
remove locally used scripts
[sqlgg.git]
/
src
/
config.ml
blob
01fbd86e7c243c0ac388850f413e3415f3968a20
1
(** *)
2
3
(** Sqlgg version *)
4
let
version
=
Version
.
id
5
6
(** Debug level *)
7
let
debug_level
=
ref
0
8
9
let
debug1
() = !
debug_level
>
0
10