Bugs: Difference between revisions

No edit summary
(Reduce scope of custom HTML to just the JIRA bug report link (where it's actually needed))
 
(20 intermediate revisions by 2 users not shown)
Line 1: Line 1:
If you want to submit a bug report, please use the [https://cobra.cs.uni-duesseldorf.de/trac/newticket bug tracker]
Note: we are currently migrating our issues to the [https://github.com/hhu-stups/prob-issues/issues prob-issues] github project.
Use this [https://github.com/hhu-stups/prob-issues/issues/new link to add a new issue].
 
If you want to submit a bug report, you can also use our
<html>
<a id="myCustomTrigger">Jira bug tracker</a>
<script
  src="https://code.jquery.com/jquery-2.2.4.min.js"
  integrity="sha256-BbhdlvQf/xTY9gja0Dq3HiwQF8LaCRTXxZKRutelT44="
  crossorigin="anonymous"></script>
 
<script type="text/javascript" src="https://probjira.atlassian.net/s/d41d8cd98f00b204e9800998ecf8427e-T/-w0bwo4/b/14/a44af77267a987a660377e5c46e0fb64/_/download/batch/com.atlassian.jira.collector.plugin.jira-issue-collector-plugin:issuecollector/com.atlassian.jira.collector.plugin.jira-issue-collector-plugin:issuecollector.js?locale=en-US&collectorId=9e060bbf"></script>
 
    <script type="text/javascript">window.ATL_JQ_PAGE_PROPS =  {
"triggerFunction": function(showCollectorDialog) {
//Requires that jQuery is available!
jQuery("#myCustomTrigger").click(function(e) {
e.preventDefault();
showCollectorDialog();
});
}};</script>
</html>
(in case this link does not work in your browser you can go directly to https://probjira.atlassian.net/secure/Dashboard.jspa)
You may also want to ask questions within our [https://groups.google.com/d/forum/prob-users prob-users group].
 
We use a free [http://www.atlassian.com/software/views/open-source-license-request/ Open Source license] from Atlassian!
 
[[Image:jira.png|200px|]]

Latest revision as of 15:48, 3 February 2021

Note: we are currently migrating our issues to the prob-issues github project. Use this link to add a new issue.

If you want to submit a bug report, you can also use our Jira bug tracker (in case this link does not work in your browser you can go directly to https://probjira.atlassian.net/secure/Dashboard.jspa) You may also want to ask questions within our prob-users group.

We use a free Open Source license from Atlassian!

Jira.png