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