diff options
| author | Maxime Dénès | 2018-07-19 23:58:52 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2018-07-20 18:43:37 +0200 |
| commit | 32caa7b700cb2f561edec9b86fbb4583d2962d4d (patch) | |
| tree | 96071b71c12b72b0932c044f5bc2a4eb28f536de /dev | |
| parent | 6a9d0dc7b5c9a6a1c10c0c94eba5e72543080399 (diff) | |
Also remove ClosedSection (same reasoning as ClosedModule)
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions