diff options
| author | Joris | 2020-02-03 09:41:49 +0100 |
|---|---|---|
| committer | Joris | 2020-02-03 09:41:49 +0100 |
| commit | ed30773e7963d9e70902d834af97937f6f0f9869 (patch) | |
| tree | bca2bd6e71db8cc8b8c58f380e3ea334a807e3e1 /.ocamlformat | |
| parent | 6b9fef06847e55aee2f93ece513a0d62ee7e359c (diff) | |
Don’t apply ingredients factor if it’s null
Diffstat (limited to '.ocamlformat')
0 files changed, 0 insertions, 0 deletions