diff options
| author | Hugo Herbelin | 2016-07-31 15:49:29 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-08-17 18:01:28 +0200 |
| commit | 5ef642ad47de7ff465ea2d5456c387fd35409539 (patch) | |
| tree | 93c0c0c99475a4d8680b8ef33490483aaa061d6e /kernel | |
| parent | 8e79ac5a766e42dfbfc629087455c9bd7639402c (diff) | |
Fixing CHANGES.
Option Standard Proposition Elimination Scheme from 8.5 was not
documented in the right section.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions