-
Notifications
You must be signed in to change notification settings - Fork 0
dune-community/config.opts
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
# This file is part of the dune-config-opts project: # http://users.dune-project.org/projects/dune-config-opts # Copyright holders: Rene Milk, Felix Schindler # License: BSD 2-Clause License (http://opensource.org/licenses/BSD-2-Clause) This repository is just a collection of commonly used config.opts files.
About
Passive mirror of https://zivgitlab.uni-muenster.de/ag-ohlberger/dune-community/config-opts