Repository navigation

Update development environment - #43

Merged

RubenVerborgh merged 5 commits into

update-dev-environment

Apr 28, 2018

Merged

Update development environment#43
RubenVerborgh merged 5 commits into
masterfrom
update-dev-environment

Commits on Apr 28, 2018
- Use npm instead of yarn.
  RubenVerborgh
  committed
  d7e49e0
- Perform prelinting.
  RubenVerborgh
  committed
  ee95a1a
- Update Flow.
  RubenVerborgh
  committed
  2c4d1ee
- Update ESlint.
  RubenVerborgh
  committed
  24ce03f
- Switch to Babel env.
  RubenVerborgh
  committed
  242d4ee