diff options
| author | Akshay <[email protected]> | 2021-08-21 12:26:48 +0100 |
|---|---|---|
| committer | Akshay <[email protected]> | 2021-08-21 12:26:48 +0100 |
| commit | 8f590f63abdf2336c0f6496bfa187f1331fa0db4 (patch) | |
| tree | cbf27b05222aa2f4c46978802e72f726ecb1805f /.gitignore | |
| parent | 904e52663bcc2953fdac8706752e928f5ed0cecd (diff) | |
add ocaml-print-intf to devshell
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions