Skip to content

History / configuration

Revisions

  • Redirect all pages to new website

    @starkos starkos committed Apr 10, 2021
  • Fix link

    @lanurmi lanurmi committed Apr 16, 2018
  • Fix all links.

    @tvandijck tvandijck committed Jun 26, 2017
  • Change "solution" to "workspace" everywhere

    @starkos starkos committed Jul 30, 2015
  • Clean up and standardize format of API pages

    @starkos starkos committed May 29, 2015
  • Fix syntax highlight more better

    @starkos starkos committed Apr 14, 2015
  • Revert "Removed "#!lua" sequences, which are unrecognized by GitHub" This reverts commit 067e237fa4e8ff3db9d8bbcceee37d01b3f81de6.

    @starkos starkos committed Apr 14, 2015
  • Removed "#!lua" sequences, which are unrecognized by GitHub

    @starkos starkos committed Apr 14, 2015
  • Added new filter() function

    @starkos starkos committed Apr 25, 2014
  • Noted that languages can be used as filters

    @starkos starkos committed Feb 28, 2014
  • Command line options can now be used in configurations

    @starkos starkos committed Dec 17, 2013
  • Edited online

    @starkos starkos committed Feb 5, 2013