Remove dead JS files

banacorn · Sep 13, 2016 · a067b41 · a067b41
1 parent 6751eda
commit a067b41
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 172 deletions.
diff --git a/lib/parser/stream/agda-response.js b/lib/parser/stream/agda-response.js
diff --git a/lib/parser/stream/s-expression.js b/lib/parser/stream/s-expression.js