Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/jgraph/drawio.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/webapp/resources/dia_nl.txt')
-rw-r--r--src/main/webapp/resources/dia_nl.txt1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/webapp/resources/dia_nl.txt b/src/main/webapp/resources/dia_nl.txt
index e2b3f1ce..8d4d5495 100644
--- a/src/main/webapp/resources/dia_nl.txt
+++ b/src/main/webapp/resources/dia_nl.txt
@@ -1198,3 +1198,4 @@ confACleanOnly=Alleen diagram concepten opschonen
brush=Kwast
openDevTools=Open Developer Tools
autoBkp=Automatic Backup
+confAIgnoreCollectErr=Ignore collecting current pages errors