- 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 | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
configuration_files.ml |
86 | 15 years ago | jean | Minor changes in configuration_files.ml (public in | 9.9 KB |
|
|
|
configuration_files.mli |
146 | 13 years ago | Jean-Vincent Loddo | Minor changes for documentation. | 1.4 KB |
|
|