tree ee7c049522254e64028058e78d5ab1de4c5f39ae
parent ef1f7f5870782471d12fdd784a15ea71cb267348
author John MacFarlane <jgm@berkeley.edu> 1437887340 -0700
committer John MacFarlane <jgm@berkeley.edu> 1437887340 -0700

Updated spec.txt.