Merge pull request #2190 from GaloisInc/gc-empty-file

G/C empty Main.hs in the saw-remote-api library
GaloisInc · Jan 21, 2025 · cbcd9d8 · cbcd9d8
2 parents 18daa7c + 8c87896
commit cbcd9d8
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/saw-remote-api/src/Main.hs b/saw-remote-api/src/Main.hs