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