aboutsummaryrefslogtreecommitdiffstats
path: root/web/src/js/filt/filt.pegjs
Commit message (Collapse)AuthorAgeFilesLines
* Add PEG support to gulpfileAldo Cortesi2015-01-031-247/+0
| | | | | - Extract conf - all project specific conf outside gulpfile - Generalize filt.js exports, add required imports
* web: filter/highlight ui, many fixesMaximilian Hils2014-12-131-13/+15
|
* add filter descriptionsMaximilian Hils2014-12-121-15/+50
|
* web: filteringMaximilian Hils2014-12-121-0/+1
|
* web: implement filtersMaximilian Hils2014-12-121-25/+141
|
* web: add filter grammarMaximilian Hils2014-12-111-0/+93