diff options
author | MaZderMind <git@mazdermind.de> | 2015-09-06 13:50:11 +0200 |
---|---|---|
committer | MaZderMind <git@mazdermind.de> | 2015-09-06 13:50:11 +0200 |
commit | e0477c17c6e1428cb4a705f50242c6ce24a6a8dc (patch) | |
tree | 1f40f98fa87b134913ae59f4a5c1885d3af427dd | |
parent | 2e28d09b04d66add839d4b43529ca11e25c699a3 (diff) |
fix comment char
-rw-r--r-- | voctogui/default-config.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/voctogui/default-config.ini b/voctogui/default-config.ini index e51a33f..ce82b3c 100644 --- a/voctogui/default-config.ini +++ b/voctogui/default-config.ini @@ -3,7 +3,7 @@ host=localhost [previews] width=320 -#height=180 +;height=180 ; true = use if the server provides it ; false = never use it |