cleaned up jgproject files

cornell-c2s2 · Feb 20, 2025 · f84ea52 · f84ea52
1 parent f8514f5
commit f84ea52
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 153 deletions.
diff --git a/src/jgproject/autosave_ZtyITg.db b/src/jgproject/autosave_ZtyITg.db
diff --git a/src/jgproject/jg_console.log.bak b/src/jgproject/jg_console.log.bak
diff --git a/src/jgproject/work.bak/proofMaster b/src/jgproject/work.bak/proofMaster
diff --git a/src/jgproject/work.bak/proveCache b/src/jgproject/work.bak/proveCache
diff --git a/src/jgproject/work.bak/sec b/src/jgproject/work.bak/sec