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.txt')
-rw-r--r--src/main/webapp/resources/dia.txt1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/webapp/resources/dia.txt b/src/main/webapp/resources/dia.txt
index 25c8ecd2..5ebdea89 100644
--- a/src/main/webapp/resources/dia.txt
+++ b/src/main/webapp/resources/dia.txt
@@ -1201,3 +1201,4 @@ autoBkp=Automatic Backup
confAIgnoreCollectErr=Ignore collecting current pages errors
drafts=Drafts
draftSaveInt=Draft save interval [sec] (0 to disable)
+pluginsDisabled=External plugins disabled.