From 3858048c6df3cb46f384c97367feb850fc57f3bd Mon Sep 17 00:00:00 2001 From: Maximilian Hils Date: Tue, 2 Jan 2018 16:45:06 +0100 Subject: [PATCH] fix broken link --- web/src/js/filt/filt.peg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/web/src/js/filt/filt.peg b/web/src/js/filt/filt.peg index 05b487b78..e4b151ad6 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");