Move saw-remote-api to the SAW repo (#93)

The `saw-remote-api` package will shortly be in the `saw-script` repository.
GaloisInc · Oct 12, 2020 · 196d227 · 196d227
1 parent 023a3c4
commit 196d227
Show file tree

Hide file tree

Showing 50 changed files with 0 additions and 3,392 deletions.
diff --git a/cabal.project b/cabal.project
@@ -2,7 +2,6 @@ packages:
   argo/
   python/
   cryptol-remote-api/
-  saw-remote-api/
   tasty-script-exitcode/
 
 optional-packages:

diff --git a/saw-remote-api/CHANGELOG.md b/saw-remote-api/CHANGELOG.md
diff --git a/saw-remote-api/LICENSE b/saw-remote-api/LICENSE
diff --git a/saw-remote-api/Setup.hs b/saw-remote-api/Setup.hs
diff --git a/saw-remote-api/saw-remote-api.cabal b/saw-remote-api/saw-remote-api.cabal
diff --git a/saw-remote-api/saw-remote-api/Main.hs b/saw-remote-api/saw-remote-api/Main.hs
diff --git a/saw-remote-api/src/Main.hs b/saw-remote-api/src/Main.hs