diff options
Diffstat (limited to 'developer.prf')
-rw-r--r-- | developer.prf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/developer.prf b/developer.prf index 17e87eeb..856596a8 100644 --- a/developer.prf +++ b/developer.prf @@ -4,4 +4,5 @@ debug=yes developer-mode=yes quick=yes +strict=yes verbose=yes |