Permalink
Commits on Dec 12, 2018
  1. Merge branch 'fix/gulp2' into develop

    josdejong committed Dec 12, 2018
  2. Update package-lock.json, restore latest gulpfile changes

    josdejong committed Dec 12, 2018
  3. Fix linting errors

    josdejong committed Dec 12, 2018
  4. Fix infinite loop in watch task

    josdejong committed Dec 12, 2018
  5. Fix linting errors

    josdejong committed Dec 12, 2018
  6. Refactor gulpfile.js to the new way of doing gulp

    josdejong committed Dec 12, 2018
Commits on Dec 10, 2018
  1. some more gulp fixes

    josdejong committed Dec 10, 2018
  2. Fix broken gulp scripts

    josdejong committed Dec 10, 2018
  3. Upgrade babel dependencies

    josdejong committed Dec 10, 2018
  4. Upgrade to gulp 4.0

    josdejong committed Dec 10, 2018
Commits on Dec 9, 2018
  1. Publish v5.4.0

    josdejong committed Dec 9, 2018
  2. Updated history

    josdejong committed Dec 9, 2018
Commits on Dec 6, 2018
  1. Update history

    josdejong committed Dec 6, 2018
Commits on Dec 5, 2018
  1. Update history

    josdejong committed Dec 5, 2018
Commits on Dec 3, 2018
  1. Publish v5.3.1

    josdejong committed Dec 3, 2018
Commits on Dec 2, 2018
  1. Update karma to v3.1.3

    josdejong committed Dec 2, 2018
Commits on Nov 29, 2018
  1. Publish v5.3.0

    josdejong committed Nov 29, 2018
  2. Update history

    josdejong committed Nov 29, 2018
Commits on Nov 20, 2018
  1. Fix linting issues

    josdejong committed Nov 20, 2018
  2. Fix #1326: non-ascii character in print.js

    josdejong committed Nov 20, 2018
Commits on Nov 15, 2018
  1. Fixed a typo in the docs of sign (see #1325)

    josdejong committed Nov 15, 2018
Commits on Nov 4, 2018
Commits on Nov 3, 2018
  1. Updated history

    josdejong committed Nov 3, 2018
Commits on Oct 30, 2018
  1. Publish v5.2.3

    josdejong committed Oct 30, 2018
Commits on Oct 29, 2018
  1. Update history

    josdejong committed Oct 29, 2018
Commits on Oct 23, 2018
  1. Merge remote-tracking branch 'origin/develop' into develop

    josdejong committed Oct 23, 2018
  2. Publish v5.2.2

    josdejong committed Oct 23, 2018
  3. Update history

    josdejong committed Oct 23, 2018
Commits on Oct 18, 2018
  1. Merge branch 'develop'

    josdejong committed Oct 18, 2018
    # Conflicts:
    #	HISTORY.md
  2. Upgraded package-lock

    josdejong committed Oct 18, 2018
  3. Merge remote-tracking branch 'origin/develop' into develop

    josdejong committed Oct 18, 2018
    # Conflicts:
    #	package-lock.json
  4. Release `v5.2.1`

    josdejong committed Oct 18, 2018
Commits on Oct 16, 2018
  1. Updated history

    josdejong committed Oct 16, 2018