Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Removed not needed escaping.

This commit is contained in:
Achim D. Brucker 2023-03-01 09:23:27 +00:00
parent 3a39028f1c
commit 14dd368cd0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.woodpecker/check_external_file_refs
View File

@ -1,6 +1,6 @@
#!/bin/sh
DIRREGEXP="\\.\\.\\/"
DIRREGEXP="\\.\\./"
REGEXP=$DIRREGEXP
DIR=$DIRMATCH