diff options
| author | Hugo Herbelin | 2020-05-30 23:28:25 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-11-16 18:24:02 +0100 |
| commit | d1be8745897ecb7e3910dcbf380ad163da7125b9 (patch) | |
| tree | b0ee92496a55a1c0da0f53ba751745e2b1a736b1 /plugins/syntax | |
| parent | af96434d2991b9f01f6cd3963ed114b57e40792f (diff) | |
Pass sigma functionally in newring.ml.
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions