Skip to content
Snippets Groups Projects
Commit 148fca1e authored by Markus Alexander Kuppe's avatar Markus Alexander Kuppe
Browse files

Update issue repository in maven metadata in anticipation of

upcoming Codeplex shutdown (tbh, we switched to GitHub issues
a while ago).

[Build]
parent 05867c22
No related branches found
No related tags found
No related merge requests found
...@@ -14,8 +14,8 @@ ...@@ -14,8 +14,8 @@
</organization> </organization>
<issueManagement> <issueManagement>
<system>CodePlex</system> <system>GitHub</system>
<url>http://tlaplus.codeplex.com/workitem/list/basic</url> <url>https://github.com/tlaplus/tlaplus/issues</url>
</issueManagement> </issueManagement>
<scm> <scm>
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment