diff options
author | Paul Steckler <steck@stecksoft.com> | 2017-11-28 15:45:42 -0500 |
---|---|---|
committer | Paul Steckler <steck@stecksoft.com> | 2017-11-28 15:45:42 -0500 |
commit | 6cb9ab00a62b87587b00147d4abd82e684220b03 (patch) | |
tree | af8d6ef9767e3874021b78b65353271fbb7077e0 /dev/tools | |
parent | f228c2eb94346fb3b538d63d95fdd8ab2c0f8795 (diff) |
use \ocaml macro in new text
Diffstat (limited to 'dev/tools')
0 files changed, 0 insertions, 0 deletions