diff options
| author | braxtonhall | 2022-10-27 21:04:08 +0000 |
|---|---|---|
| committer | braxtonhall | 2022-10-27 21:04:08 +0000 |
| commit | abb5cce1d8cf2a01cb2476fac664f473bda866e2 (patch) | |
| tree | 1f19ef2061eb78430a77813826b738226aa05438 /entries/lizard-business/fib.maude | |
| parent | 2b18baac0e3cf71859650e81edec99bbe02a7a66 (diff) | |
Get rid of prettier (for now)
Diffstat (limited to 'entries/lizard-business/fib.maude')
0 files changed, 0 insertions, 0 deletions