Revision f22632aa src/utils.ml
src/utils.ml | ||
---|---|---|
308 | 308 |
in |
309 | 309 |
pp_list lid pp_fun "" "." "." |
310 | 310 |
|
311 |
let pp_date fmt tm = |
|
312 |
Format.fprintf fmt "%i/%i/%i, %i:%i:%i" |
|
313 |
(tm.Unix.tm_year + 1900) |
|
314 |
tm.Unix.tm_mon |
|
315 |
tm.Unix.tm_mday |
|
316 |
tm.Unix.tm_hour |
|
317 |
tm.Unix.tm_min |
|
318 |
tm.Unix.tm_sec |
|
311 | 319 |
|
312 | 320 |
(* Used for uid in variables *) |
313 | 321 |
|
Also available in: Unified diff