diff options
| author | Gaëtan Gilbert | 2019-10-16 10:57:29 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-10-16 10:57:47 +0200 |
| commit | fcd8a670b4e56e69e67315d9bf40130cff68312b (patch) | |
| tree | 78ec53e73c5efae2582fc4d2ce4bb146e35c8d02 /engine/uState.ml | |
| parent | e80696587ce85572416fd7083387b644ac88fa2a (diff) | |
Define sphinx replacements for \SProp \Type etc
Diffstat (limited to 'engine/uState.ml')
0 files changed, 0 insertions, 0 deletions