cleanup: remove vagrant

It has been, for ages, not tested, so better remove it.
gforcada · May 11, 2024 · 11124f9 · 11124f9
1 parent a6d7a25
commit 11124f9
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 12 deletions.
diff --git a/README.md b/README.md
@@ -67,8 +67,6 @@ Ubuntu 23.04 (jammy)
     - python_36: true
 ```
 
-There is an example `Vagrantfile` to test it locally.
-
 ## License
 
 BSD

diff --git a/Vagrantfile b/Vagrantfile