Skip to content
Snippets Groups Projects
Commit 5e90f256 authored by Jens Bendisposto's avatar Jens Bendisposto Committed by GitHub
Browse files

Update README.md

parent a6866c3c
No related branches found
No related tags found
No related merge requests found
...@@ -12,7 +12,7 @@ Maven 3 is required to build the project: ...@@ -12,7 +12,7 @@ Maven 3 is required to build the project:
This will produce an updatesite in org.eventb.texteditor.repository/target This will produce an updatesite in org.eventb.texteditor.repository/target
We autmatically produce nightly builds that can be installed using the update site located at http://nightly.cobra.cs.uni-duesseldorf.de/camille/ We autmatically produce nightly builds that can be installed using the update site located at https://www3.hhu.de/stups/rodin/camille/nightly/
## Contributing/Bugs ## Contributing/Bugs
Pull requests are very welcome. Suggestions for new extensions and known bugs are tracked on [Github](https://github.com/hhu-stups/camille/issues) Pull requests are very welcome. Suggestions for new extensions and known bugs are tracked on [Github](https://github.com/hhu-stups/camille/issues)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment