generate shell version of config options
authorStephen Soltesz <soltesz@cs.princeton.edu>
Wed, 24 Sep 2008 19:29:22 +0000 (19:29 +0000)
committerStephen Soltesz <soltesz@cs.princeton.edu>
Wed, 24 Sep 2008 19:29:22 +0000 (19:29 +0000)
commitfe6912be9d7dd52418b9d53026d0812ae0e3caf1
tree2f4443e164dfc519a07addf2654af16195a2cd69
parent5c139827242cd7896d21a5369d5c113b0b6418ba
generate shell version of config options
shconfig.py [new file with mode: 0755]