Branches

• colour_tabs

  112135c4 · WIP, background colour for tabs · Jan 21, 2023
• tab_order

  3787946e · No rename option on "All" tab · Jan 19, 2023
• hammingitup

  190babf5 · Merge branch 'main' into hammingitup · Jan 07, 2023
• localsystem-main-patch-19668

  c051ea95 · Update coursesUsingPlom.md · Dec 19, 2022
• 011x

  272f4bad · Overdue update of copyright year · Nov 18, 2022
• django_identify

  bcfa6dcf · initial Identify app · Oct 26, 2022
• 010x

  32626632 · Merge branch 'bump' into 'main' · Sep 21, 2022
• similarity

  1172a7ba · Fixed pickle deletion error · Aug 24, 2022
• overuse

  ee16b79a · WIP: demo with shared pages · Aug 17, 2022
• external

  fcb1e0a1 · Draft of external marker · Aug 15, 2022
• 09x

  95fe41b6 · Post-release bump · Aug 04, 2022
• myfeature

  15dbecd5 · Bump API for QR encoding change · Aug 03, 2022
• json2

  8084ba90 · Reformatting · Aug 03, 2022
• randomly_change_stuff

  667900f9 · Set boxItem to None on mouse release · Jun 30, 2022
• 08x

  27e08f6a · Update changelog · Apr 18, 2022
• audit_flatten

  d1e75f34 · Docs docs docs · Mar 31, 2022
• rm_page_ver_map

  d4e2a135 · Delete the page version map API and associated code · Mar 19, 2022
• faucet

  665a1146 · Special case "None" to prevent accidents · Feb 06, 2022
• preposition

  38de2317 · You open it, you gotta close it · Feb 04, 2022
• 07x

  ffdfa914 · Version bump for release · Jan 30, 2022