Skip to content

Remove vagrant config#3195

Merged
ZedThree merged 1 commit into
nextfrom
vagrant-cleanup
Nov 4, 2025
Merged

Remove vagrant config#3195
ZedThree merged 1 commit into
nextfrom
vagrant-cleanup

Conversation

@dschwoerer
Copy link
Copy Markdown
Contributor

It was very outdated:

git clone https://github.com/bendudson/BOUT.git
[...]
./configure

It was very outdated
@ZedThree ZedThree merged commit d7a4659 into next Nov 4, 2025
24 of 25 checks passed
@ZedThree ZedThree deleted the vagrant-cleanup branch November 4, 2025 11:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants