Skip to content
GitLab
  • Explore
  • Sign in
  • minervaminerva
  • core
  • Merge requests
  • Open 3
  • Merged 1,521
  • Closed 92
  • All 1,616

  • Subscribe to RSS feed
  • change line breaks to unix format
    !122 · created Nov 03, 2017 by Nils Christian   devel_11.1.x
    • Closed
    • 0
    updated Nov 03, 2017
  • changed warning text
    !598 · created Jan 25, 2019 by Sascha Herzinger   v12.1.6
    BUG graphics; css; layout
    • Closed
    • 1
    updated Jan 28, 2019
  • applied formatting (whitespace, imports, method/field order) to *.java
    !854 · created Jul 25, 2019 by Sascha Herzinger   v14.0.0~alpha.0
    dev-todo
    • Closed
    • 0
    updated Jul 25, 2019
  • 14.0.5 into master
    !1026 · created Dec 03, 2019 by Piotr Gawron
    • Closed
    • 0
    updated Dec 03, 2019
  • 13.1.2 into master
    !845 · created Jul 22, 2019 by Piotr Gawron
    • Closed
    • 0
    updated Jul 22, 2019
  • 13.1.1 into master
    !832 · created Jul 02, 2019 by Piotr Gawron
    • Closed
    • 0
    updated Jul 02, 2019
  • 12.2.2 into master
    !743 · created Apr 10, 2019 by Piotr Gawron
    • Closed
    • 0
    updated Apr 10, 2019
  • 12.2.1 into master
    !723 · created Apr 01, 2019 by Piotr Gawron
    • Closed
    • 0
    updated Apr 01, 2019
  • 12.2.0~beta.2 into master
    !677 · created Feb 27, 2019 by Piotr Gawron
    • Closed
    • 0
    updated Feb 27, 2019
  • 12.1.7 into 12.2.x
    !624 · created Feb 07, 2019 by Piotr Gawron   devel_12.2.x
    • Closed
    • 0
    updated Feb 07, 2019
  • 12.1.1 into master
    !487 · created Nov 02, 2018 by Piotr Gawron
    • Closed
    • 0
    updated Nov 02, 2018
  • 12.1.0~beta.3 into master
    !459 · created Oct 11, 2018 by Piotr Gawron
    • Closed
    • 0
    updated Oct 15, 2018
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • Next