Skip to content
This repository has been archived by the owner on Nov 15, 2023. It is now read-only.

V0.1 #196

Closed
wants to merge 3 commits into from
Closed

V0.1 #196

wants to merge 3 commits into from

Commits on May 17, 2018

  1. Configuration menu
    Copy the full SHA
    0c3ac1a View commit details
    Browse the repository at this point in the history
  2. Archive Mode and groundwork for state-preserving handles (#166)

    * less eager deletion of DB values
    
    * archive mode
    rphmeier authored and gavofyork committed May 17, 2018
    Configuration menu
    Copy the full SHA
    6fe1223 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2018

  1. Backport of #191 (#193)

    * Merge branch 'master' into gav-result-dispatch
    
    * Fix merge.
    gavofyork authored May 31, 2018
    Configuration menu
    Copy the full SHA
    512931b View commit details
    Browse the repository at this point in the history