diff options
| author | Guillaume Melquiond | 2015-07-31 17:01:39 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-07-31 17:01:39 +0200 |
| commit | 947206269dc31bb6b919fce935e1748bc440d960 (patch) | |
| tree | fc236d7c8404f3fae3efb0913fa7ff866e5b8e76 /kernel | |
| parent | ce4c3ddec6c91dc277c922aaac58395c92941710 (diff) | |
Fix typos in the Micromega part of the reference manual.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions