diff options
| -rw-r--r-- | web/src/js/filt/filt.peg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web/src/js/filt/filt.peg b/web/src/js/filt/filt.peg index 05b487b7..e4b151ad 100644 --- a/web/src/js/filt/filt.peg +++ b/web/src/js/filt/filt.peg @@ -1,4 +1,4 @@ -// PEG.js filter rules - see http://pegjs.majda.cz/online +// PEG.js filter rules - see https://pegjs.org/ { var flowutils = require("../flow/utils.js"); |