diff options
| author | Björn Peemöller <bjp@informatik.uni-kiel.de> | 2015-02-03 14:30:28 +0100 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2016-11-19 23:03:53 +0100 |
| commit | 6246d6e213fb8de8ba6561459c80088374853ee6 (patch) | |
| tree | ffeb659979003a22da620d90209e4e1b9fb40bc8 /deb | |
| parent | d905551b12ebbf1071c26a404e24dcbd4577488f (diff) | |
Added error message for illegal call to Pretty.block
Diffstat (limited to 'deb')
0 files changed, 0 insertions, 0 deletions