diff options
| author | Vincent Laporte | 2018-09-07 11:34:32 +0200 |
|---|---|---|
| committer | Vincent Laporte | 2018-09-14 07:51:17 +0000 |
| commit | ab2560233f2e6fc8c26853af6991533d8d335e16 (patch) | |
| tree | a5712bb6310eb819f620a504b62533adf240cd94 /kernel/retroknowledge.mli | |
| parent | 4be2dd481c783bed7c09086b647d860e42b7ea9f (diff) | |
Retroknowledge: remove the (unused) by clause
Diffstat (limited to 'kernel/retroknowledge.mli')
0 files changed, 0 insertions, 0 deletions