1. 28 Jan, 2019 1 commit
    • Valentin Reis's avatar
      [fix] Reverting API breakage from the last merge · 250198e4
      Valentin Reis authored
      The last merge changed the API visual style to increase readability.
      
      The manual merging was not done in a proper way however, and some of the
      changes from its previous merges were reverted. This commit fixes this.
      250198e4
  2. 23 Jan, 2019 1 commit
  3. 09 Jan, 2019 2 commits
  4. 07 Jan, 2019 1 commit