* * options.c: New file: handling of run time options.
authorMikael Djurfeldt <djurfeldt@nada.kth.se>
Tue, 20 Aug 1996 17:06:04 +0000 (17:06 +0000)
committerMikael Djurfeldt <djurfeldt@nada.kth.se>
Tue, 20 Aug 1996 17:06:04 +0000 (17:06 +0000)
commit1a413ab902eb6587425acd60c5e6b43565dc6d11
treeeccf87794d26536404459c1778e70774683378df
parent627ecda7cad82ffc49c721881771b0fb0c1d00fb
* * options.c: New file: handling of run time options.

* options.h: New file: handling of run time options.
libguile/options.c [new file with mode: 0644]
libguile/options.h [new file with mode: 0644]