diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-09-03 08:25:04 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-09-03 08:25:04 +0000 |
| commit | 7fb9cd28d0cfbca9c91a96fefe5a730cab3d4804 (patch) | |
| tree | 4dc85ae13f3092b0348f905f7f1f99f1341bee49 /otherlibs/unix/utimes.c | |
| parent | 245aadbb3704f87afb09489ffbb0bf1e827fa07a (diff) | |
* Ne pas fermer la connexion au display a chaque close_graph(), car
certains pixmaps peuvent etre encore vivants et ca fait n'importe quoi
quand le GC les libere plus tard, alors qu'une nouvelle connexion a
ete ouverte.
* Ajout de quelques includes manquants.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@950 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix/utimes.c')
0 files changed, 0 insertions, 0 deletions