tree a8436c3a19b6e6ebf196357ecf32245b9f777ad5
parent 0b790aaa04071170f492486c27494882e50c0919
author Larry Peterson <llp@cs.princeton.edu> 1463762953 -0700
committer Larry Peterson <llp@cs.princeton.edu> 1463762953 -0700

tweaked OpenCORD/CORD language