diff options
| author | Niklas Haas <git@nand.wakku.to> | 2014-08-21 21:09:51 +0200 |
|---|---|---|
| committer | Niklas Haas <git@nand.wakku.to> | 2014-08-24 08:14:35 +0200 |
| commit | fb2a6bf0a53fb243dfe3f769c340236ab73763a9 (patch) | |
| tree | 9877f8ef41934b053d91ab1ee531b98b7bc0965f /html-test/ref/DeprecatedRecord.html | |
| parent | 26a44b9f3f539e93f499eea4eda6a354f46b20da (diff) | |
Omit unnecessary foralls and fix #315
This also fixes #86.
Diffstat (limited to 'html-test/ref/DeprecatedRecord.html')
0 files changed, 0 insertions, 0 deletions