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