- 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 | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
bzr_date |
226 | 13 years ago | Jean-Vincent Loddo | Merged Makefile with marionnet. | 1.7 KB |
|
|
|
doc.sh |
133 | 14 years ago | Jean-Vincent Loddo | Added the function UnixExtra.kfuture with a thread | 3.7 KB |
|
|
|
ocamlmklib_wrapper.sh |
131 | 14 years ago | Luca Saiu | Gettext string extractor: don | 1.5 KB |
|
|
|
test.sh |
133 | 14 years ago | Jean-Vincent Loddo | Added the function UnixExtra.kfuture with a thread | 2.4 KB |
|
|