tree 1bb7d7dff0ad8a5e3cf4eb10780a52742bbc07f4
parent 215774e6a563cd9425146e523584f85c1330714d
author James Kaufman <jhkauf@us.ibm.com> 1579913641 -0800
committer James Kaufman <jhkauf@us.ibm.com> 1579913641 -0800

adding missing definition for $theme = "Nova";