diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2011-09-18 08:09:34 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2011-09-18 08:09:34 +0000 |
| commit | 958c48049f408101fd8bad0129003d5ced82119c (patch) | |
| tree | dda6a47e424334d21ac8612285e03a330a5376d6 /otherlibs/win32unix/select.c | |
| parent | 012bc6eb1d2829102305d45cbe25f69e10537db0 (diff) | |
PR#5336: add .type directives in ARM code
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11203 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/select.c')
0 files changed, 0 insertions, 0 deletions