diff options
| author | Emilio Jesus Gallego Arias | 2019-10-24 08:28:33 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-10-24 08:28:33 +0200 |
| commit | cebe72982f923a7760cf2144dbc71bdc163bf8d5 (patch) | |
| tree | d2a58c81c59a8480e9d190a0e24d85acbf5e24d8 /interp/notation.ml | |
| parent | e6991dce306c41352c359a8ba5d6d9d6c5e6dfb2 (diff) | |
[meta] Add zify plugin to META file.
Diffstat (limited to 'interp/notation.ml')
0 files changed, 0 insertions, 0 deletions