diff options
Diffstat (limited to 'java/proguard.flags')
| -rw-r--r-- | java/proguard.flags | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/java/proguard.flags b/java/proguard.flags index 202307592..9096855e8 100644 --- a/java/proguard.flags +++ b/java/proguard.flags @@ -12,4 +12,5 @@ void setDatabaseMax(int); void setDatabaseDelete(int); void waitUntilUpdateDBDone(); + void waitForDictionaryLoading(); } |