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

Incremental activities #36

Merged
merged 5 commits into from
Dec 7, 2017
Merged

Incremental activities #36

merged 5 commits into from
Dec 7, 2017

Commits on Nov 20, 2017

  1. initial implementation incremental activities

    Siebe Jan committed Nov 20, 2017
    Configuration menu
    Copy the full SHA
    a9a0da0 View commit details
    Browse the repository at this point in the history

  2. do not assume dotfile always contains handle

    Siebe Jan committed Nov 20, 2017
    Configuration menu
    Copy the full SHA
    60be35f View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2017

  1. address comments

    Siebe Jan committed Nov 24, 2017
    Configuration menu
    Copy the full SHA
    b776126 View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2017

  1. Merge remote-tracking branch 'upstream/master' into incremental-activ… 

    …ities
    Siebe Jan committed Nov 29, 2017
    Configuration menu
    Copy the full SHA
    e330926 View commit details
    Browse the repository at this point in the history

Commits on Dec 7, 2017

  1. fix + tests

    Siebe Jan committed Dec 7, 2017
    Configuration menu
    Copy the full SHA
    278bdbe View commit details
    Browse the repository at this point in the history