Branches

• db-docs

  45724f41 · added some AFs and RIs · Aug 26, 2020
• exp_ubuntu1804_client

  308af451 · try pyqt5 from apt instead · Jul 05, 2020
• bbox

  9a93fc7d · WIP stuff about bounding boxes · Jun 01, 2020
• ui_tests

  605c6f9e · CI: split test to make sure its failing on last · May 08, 2020
• fix630

  6f5784aa · *sigh* more tweaking. · Mar 03, 2020
• chooser_responsive_ui

  12057ffb · Merge remote-tracking branch 'origin/dev' into chooser_responsive_ui · Feb 03, 2020
• fix438

  9141228c · Undoing shortcut reset · Jan 20, 2020
• remove_ping

  0a4d24f8 · WIP: testing removing qthreads and ping stuff · Oct 22, 2019
• fix165

  0ea1ef08 · More hacks at #165. · Jul 31, 2019