diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2021-08-21 22:14:29 -0700 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2021-08-21 22:14:29 -0700 |
| commit | cf10cafa675b4dcc96bdb19c38d94291d86c53ff (patch) | |
| tree | d9579636e7e61ad08b3d61257a74896a32e83b0e /.gitignore | |
| parent | a3f2851e1285471b3c1d30cb29525941bd30bee5 (diff) | |
OCaml.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions