Viewing all changes in revision 243.
- 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.
- files modified:
- EXTRA/unixExtra.ml
expand all
collapse all
added
removed
