X-Git-Url: http://git.tuebingen.mpg.de/?a=blobdiff_plain;ds=sidebyside;f=ggo%2Fconfig_file.m4;h=318ba7a68101350630f04fec7af22716dabe6fc4;hb=63c4f3404cfb3aea943949d81b03bca14dbea559;hp=9e2ca40708a129d60cdfac4edec186b47f419d25;hpb=002731cd3938f3be6b71651e56c062af1adcdec0;p=paraslash.git 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="