diff options
| author | Théo Zimmermann | 2020-03-26 13:54:51 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-03-26 13:54:51 +0100 |
| commit | 5b726cdd242549fd292bc24b6e56073a16e8cf32 (patch) | |
| tree | f817534cad8fc19f6f3c2867936a5c792c0dfc74 /kernel/modops.ml | |
| parent | 53a84d4e84034d213e86839d05b87a5cd80b4181 (diff) | |
Remove outdated mention of -allow-sprop.
Diffstat (limited to 'kernel/modops.ml')
0 files changed, 0 insertions, 0 deletions