diff options
| author | tonio <tonio> | 2007-04-10 20:29:18 +0000 |
|---|---|---|
| committer | tonio <tonio> | 2007-04-10 20:29:18 +0000 |
| commit | 1873952602032ae0d42cd922e82356088e0bbb0e (patch) | |
| tree | 797529964e3437ddbe29e4ec7f017ae2ff35363d /x11 | |
| parent | 21d11ffc1fb3f657171b2d357dc735fb3b1ad383 (diff) | |
| download | pkgsrc-1873952602032ae0d42cd922e82356088e0bbb0e.tar.gz | |
document the ocamlduce option
Diffstat (limited to 'x11')
0 files changed, 0 insertions, 0 deletions