X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=ggo%2Fconfig_file.m4;h=318ba7a68101350630f04fec7af22716dabe6fc4;hp=9e2ca40708a129d60cdfac4edec186b47f419d25;hb=4dbf56eff63e120c3888fa2badc9fbf930c6ba46;hpb=002731cd3938f3be6b71651e56c062af1adcdec0 diff --git a/ggo/config_file.m4 b/ggo/config_file.m4 index 9e2ca407..318ba7a6 100644 --- a/ggo/config_file.m4 +++ b/ggo/config_file.m4 @@ -1,7 +1,7 @@ option "config_file" c #~~~~~~~~~~~~~~~~~~~~~ -"(default='DEFAULT_CONFIG_FILE'" +"(default='DEFAULT_CONFIG_FILE')" string typestr="filename" optional details="