diff options
author | Jedidiah Barber <contact@jedbarber.id.au> | 2022-11-08 01:19:42 +1300 |
---|---|---|
committer | Jedidiah Barber <contact@jedbarber.id.au> | 2022-11-08 01:19:42 +1300 |
commit | 4ea2c7a094e4c61caeeff4b9c16cf10b8d4b14de (patch) | |
tree | 36eaf10870828e011e56123d0002aff9ae3f99dd /src/util.ml | |
parent | 525863904e8cb1ce62bbbf407262e5305d6bbc6f (diff) |
Tidying up a bit of code formatting
Diffstat (limited to 'src/util.ml')
0 files changed, 0 insertions, 0 deletions