commit | 567e1783348b121f896b6b2b423e2920fb24e799 | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Nov 05 19:08:30 2011 +0000 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Nov 05 19:08:30 2011 +0000 |
tree | b28f041ac15c9b1c048e04d8ae7e9bc79b0ceaff | |
parent | cd966a1e98b2fb8a93268f64a8e1b666bc882cb3 [diff] |
rename all mentions of null contracts to null spec (specification).