diff options
| author | Jim Fehrle | 2020-04-30 16:51:08 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2020-05-18 19:39:34 -0700 |
| commit | ae208f062d15773781cb600e9a7b2c44de25caf9 (patch) | |
| tree | 18e161f903d580efd16766aff39ad020812fbf99 /kernel/genOpcodeFiles.ml | |
| parent | 7cac115647723f8261b7aabf8094572227b25c43 (diff) | |
Support :gdef:`text <term>` syntax (adding "<term>")
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions