Skip to content
This repository has been archived by the owner on May 26, 2021. It is now read-only.

Removed REQUIRE, added Project.toml #5

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

sebasguts
Copy link

Draft to create Project.toml, to be actually able to load all Oscar components using

using Oscar
using Singular

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant