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
cgi output errors too
[sqlgg.git]
/
config.ml
blob
e1ea5a9b37b10431163ab809b837ac29f2e9ff52
1
(** *)
2
3
open
ListMore
4
open
ExtString
5
open
Operators
6
7
let
version_number
=
"0.2.0"
8
9
let
version
=
Printf
.
sprintf
"
%s
(
%s
)"
10
version_number
11
(
Git
.
revision
>>
String
.
explode
>>
List
.
take
8
>>
String
.
implode
)
12