- remove "default" attribute
authorMark Huang <mlhuang@cs.princeton.edu>
Wed, 25 Oct 2006 14:27:12 +0000 (14:27 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Wed, 25 Oct 2006 14:27:12 +0000 (14:27 +0000)
commitbcc4d54cff6df0e6298620444a2bc75b1e39c909
treebb639a4146a257ea496b1d3482af1b43ef79141e
parent93f2f793538d71e126d21436e6626ea82fd8b743
- remove "default" attribute
- allow "optional" to be None (and set it to None by default), which
  means "unknown whether this sub-parameter is optional or not"
PLC/Parameter.py