diff options
| author | Hugo Herbelin | 2014-11-11 13:28:08 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2014-11-11 13:32:42 +0100 |
| commit | a05aa0144098fd9032f7bbf4204656101126eae5 (patch) | |
| tree | eca91d87a8f5a4b02cb01d0c8f2e515d477f62b3 /kernel/modops.ml | |
| parent | 34465413bc2d6b3426de783a0d35b968f7ea3b61 (diff) | |
American spelling + layout in CHANGES.
Diffstat (limited to 'kernel/modops.ml')
0 files changed, 0 insertions, 0 deletions