forked from themoonisacheese/autoverif
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request themoonisacheese#1 from peighter/main
added windows venv, arguments, and a readme for simplicity
- Loading branch information
Showing
11,626 changed files
with
1,389,502 additions
and
92,850 deletions.
The diff you're trying to view is too large. We only load the first 3000 changed files.
There are no files selected for viewing
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
Oops, something went wrong.