Skip to content

Commit

Permalink
Add support for plutarch scripts
Browse files Browse the repository at this point in the history
  • Loading branch information
Geometer1729 committed Jan 2, 2023
1 parent 98fcf39 commit 6557212
Show file tree
Hide file tree
Showing 7 changed files with 2,349 additions and 207 deletions.
3 changes: 2 additions & 1 deletion .gitignore
Expand Up @@ -11,7 +11,8 @@ result
result-*

# direnv
#.envrc
.direnv
.envrc

.swp

Expand Down

0 comments on commit 6557212

Please sign in to comment.