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