diff options
| author | Gaëtan Gilbert | 2019-10-04 13:33:33 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-10-04 14:07:15 +0200 |
| commit | 17a1bd7affa439a9a79ecdc34266dd235835192d (patch) | |
| tree | 7ff1f01119357c0017708b6c097adc5dec6db42e /kernel/section.ml | |
| parent | d7f43705e347f728d99e45720d8f2e0a3f7cff34 (diff) | |
overlays for sprop default on
Diffstat (limited to 'kernel/section.ml')
0 files changed, 0 insertions, 0 deletions