diff options
| author | Gaëtan Gilbert | 2020-03-31 11:34:53 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-05-18 10:46:04 +0200 |
| commit | 864a1aa9c02ec9863fb9fac6985083bae205c6fa (patch) | |
| tree | 3bdee91c79d1c55b9d7a29727df4f1fed64c9651 /engine/uState.ml | |
| parent | b9591f15d75886456ff28984934de73d6a516af5 (diff) | |
Cleanup: remove noisy "sec_" prefixes in section.ml
Diffstat (limited to 'engine/uState.ml')
0 files changed, 0 insertions, 0 deletions