Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This tweaks the publish task so that it doesn't include the arithmetization project. This is because the plugins/ project is where all the publishing action happens now.
- Loading branch information