Permalink
Commits on Feb 20, 2017
  1. build serial

    vladdu committed Feb 20, 2017
  2. [wrangler] fix versions

    vladdu committed Feb 20, 2017
  3. [releng] rename launch config

    vladdu committed Feb 20, 2017
Commits on Feb 19, 2017
  1. no compare with baseline

    vladdu committed Feb 19, 2017
  2. include graphviz in update site

    vladdu committed Feb 19, 2017
  3. cleaned a few warnings

    vladdu committed Feb 19, 2017
  4. small fix

    vladdu committed Feb 19, 2017
Commits on Feb 14, 2017
  1. replace 'erlang navigator' view with 'project explorer'

    The PE gets all navigator extensions from other plugins and also
    functionality like 'hierarchical projects'.
    vladdu committed Feb 14, 2017
Commits on Feb 8, 2017
  1. [releng] cleanup Jenkinsfile

    vladdu committed Feb 8, 2017
Commits on Feb 6, 2017
  1. debug build

    vladdu committed Feb 6, 2017
Commits on Feb 2, 2017
  1. fix failing builder tests

    vladdu committed Jan 31, 2017
Commits on Jan 31, 2017
Commits on Jan 24, 2017
  1. remove util_eclipse plugin

    vladdu committed Jan 24, 2017
Commits on Jan 22, 2017
Commits on Jan 20, 2017
  1. removed some unused code

    vladdu committed Jan 19, 2017
Commits on Jan 19, 2017
  1. small change in editor

    vladdu committed Jan 19, 2017
  2. [help] update gems

    vladdu committed Jan 18, 2017
Commits on Jan 6, 2017
Commits on Jan 2, 2017
  1. [releng] update lsp4j

    vladdu committed Jan 2, 2017
Commits on Jan 1, 2017
  1. [releng] publish update site

    vladdu committed Jan 1, 2017