Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Let git ignore the directory var/opm
This is just a convenient location for putting opm packages. This allows scripted installations within a Docker container.
- Loading branch information