diff options
| author | Grégoire Duchêne <gduchene@awhk.org> | 2014-09-01 18:34:32 +0200 |
|---|---|---|
| committer | Grégoire Duchêne <gduchene@awhk.org> | 2014-09-24 16:05:24 +0200 |
| commit | ed82731e63f8779c12f705ff3ac0f684872b96c9 (patch) | |
| tree | de1f870c6049faef63017096a06c74253930248e /gnu.ocaml.obj.mk | |
| parent | 11e9ea31ea1ab8927335fdfb22ba5509afc4b0b3 (diff) | |
Simplified some conditionals
Diffstat (limited to 'gnu.ocaml.obj.mk')
0 files changed, 0 insertions, 0 deletions