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
Merge branch 'master' of git@localhost:sqlgg
[sqlgg.git]
/
config.ml
blob
39e35f0c81b56b5e947eae022629c7e4ad0630c4
1
(** *)
2
3
open
ListMore
4
open
ExtString
5
open
Operators
6
7
let
version_number
=
"0.2.1+"
8
9
let
version
=
Printf
.
sprintf
"
%s
(
%s
)"
10
version_number
11
(
Git
.
revision
>>
String
.
explode
>>
List
.
take
8
>>
String
.
implode
)
12