Add parameter defaults to .odesc files. There was a bug in
authorSteve Reinhardt <stever@eecs.umich.edu>
Mon, 31 May 2004 22:21:14 +0000 (15:21 -0700)
committerSteve Reinhardt <stever@eecs.umich.edu>
Mon, 31 May 2004 22:21:14 +0000 (15:21 -0700)
commit7b400262c5bd44643c63e4b8e941b141aa57c440
tree294cda7746b1fc636a00c2a377d41a95e67a62a3
parent6964ecd1cf14f294a300e91bc5b65042d03952d4
Add parameter defaults to .odesc files.  There was a bug in
extract_odesc.py that caused these to get left out.

--HG--
extra : convert_revision : 32e76c8e699f3dd72937e92217f3ab43fb53b4de