Merge requests · minerva / core

allow for partial update

!1524 · created Jul 07, 2022 by Piotr Gawron devel_16.2.x
- MERGED
- 0
updated Jul 07, 2022
allow unauthenticated apt-get update (for local repository)

!847 · created Jul 22, 2019 by Piotr Gawron devel_13.1.x
- MERGED
- 0
updated Jul 22, 2019
alpha release

!208 · created Feb 21, 2018 by Piotr Gawron
- MERGED
- 0
updated Feb 21, 2018
always show gentic data overlays

!1358 · created Sep 27, 2021 by Piotr Gawron v16.0.0~beta.3 devel_16.0.x BUG
- MERGED
- 0
updated Sep 27, 2021
annotator interface name was incorrect (Proxy)

!1474 · created Apr 06, 2022 by Piotr Gawron v16.1.0~beta.3 devel_16.1.x BUG
- MERGED
- 0
updated Apr 07, 2022
annotators issue

!1510 · created Jun 16, 2022 by Piotr Gawron v16.2.2 devel_16.2.x BUG
- MERGED
- 0
updated Jun 16, 2022
Annotators issue

!680 · created Feb 27, 2019 by Piotr Gawron
- MERGED
- 0
updated Feb 28, 2019
api doc updated

!54 · created Jul 10, 2017 by Piotr Gawron
- MERGED
- 0
updated Jul 10, 2017
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
arrow head in gpml

!1160 · created Jun 05, 2020 by Piotr Gawron
- MERGED
- 0
updated Jun 05, 2020
arrows handling in SBML fixed

!1023 · created Dec 02, 2019 by Piotr Gawron v14.0.5 devel_14.0.x BUG
- MERGED
- 0
updated Dec 02, 2019
article id is no long containing pubmed id

!1379 · created Nov 05, 2021 by Piotr Gawron v16.0.1 devel_16.0.x BUG
- MERGED
- 0
updated Nov 05, 2021
assigned more space to the overlay dialog

!620 · created Feb 06, 2019 by Sascha Herzinger v12.2.0~beta.1 devel_12.2.x graphics; css; layout
- MERGED
- 0
updated Feb 07, 2019
atch also errors

!1380 · created Nov 08, 2021 by Piotr Gawron v16.0.1 devel_16.0.x
- MERGED
- 0
updated Nov 08, 2021
badge updated

!1287 · created Mar 19, 2021 by Piotr Gawron
- MERGED
- 0
updated Mar 19, 2021
Basic semantic zooming functionality

!25 · created Jun 19, 2017 by Piotr Gawron
- MERGED
- 0
updated Jun 19, 2017
before updating ToU fetch users from server

!754 · created Apr 24, 2019 by Piotr Gawron v12.2.3 devel_12.2.x BUG
- MERGED
- 0
updated Apr 24, 2019
border_color was never set properly

!1405 · created Jan 03, 2022 by Piotr Gawron
- MERGED
- 0
updated Jan 03, 2022
broken chebi annotator doesn't stop data uploading

!366 · created Jul 31, 2018 by Piotr Gawron devel_12.0.x
- MERGED
- 0
updated Jul 31, 2018
Bug fixes

!2 · created Oct 26, 2016 by Piotr Gawron
- MERGED
- 0
updated Oct 26, 2016