Skip to content

Commit

Permalink
Merge pull request #2505 from jacderida/chore-remove_vagrant_dir
Browse files Browse the repository at this point in the history
chore: remove vagrant directory
  • Loading branch information
jacderida authored Dec 8, 2024
2 parents 9c2433b + 7f35275 commit dbcd2ab
Show file tree
Hide file tree
Showing 3 changed files with 1 addition and 14 deletions.
2 changes: 1 addition & 1 deletion .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -39,4 +39,4 @@ uv.lock
*.pyc
*.swp

/vendor/
/vendor/
1 change: 0 additions & 1 deletion ant-node-manager/.vagrant/bundler/global.sol

This file was deleted.

12 changes: 0 additions & 12 deletions ant-node-manager/.vagrant/rgloader/loader.rb

This file was deleted.

0 comments on commit dbcd2ab

Please sign in to comment.