- Committer: Jean-Vincent Loddo
- Date: 2011-02-03 15:27:00 UTC
- Revision ID: loddo@lipn.univ-paris13.fr-20110203152700-pnwgzz94gj9qhqi3
Generalized UnixExtra.date: by default the local time is used but the user can choose gmt with the homonymous optional parameter.
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
shell.ml |
83 | 15 years ago | jean | StringExtra flattened | 13.1 KB |
|
|
|
wrapper.ml |
86 | 15 years ago | jean | Minor changes in configuration_files.ml (public in | 7.6 KB |
|
|