diff options
author | Braxton Hall | 2022-10-27 21:05:03 +0000 |
---|---|---|
committer | GitHub | 2022-10-27 21:05:03 +0000 |
commit | 3b3f8d58655f507baa96ae6ad695df39cb9477cc (patch) | |
tree | 1f19ef2061eb78430a77813826b738226aa05438 /entries/jlouis/bin/main.ml | |
parent | 2b18baac0e3cf71859650e81edec99bbe02a7a66 (diff) | |
parent | abb5cce1d8cf2a01cb2476fac664f473bda866e2 (diff) |
Merge pull request #61 from braxtonhall/workflow
Get rid of prettier (for now)
Diffstat (limited to 'entries/jlouis/bin/main.ml')
0 files changed, 0 insertions, 0 deletions