aboutsummaryrefslogtreecommitdiffstats
path: root/web/src/js/filt/filt.pegjs
Commit message (Expand)AuthorAgeFilesLines
* Add PEG support to gulpfileAldo Cortesi2015-01-031-247/+0
* 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