diff options
| author | Enrico Tassi | 2014-06-23 19:06:03 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2014-06-23 19:06:31 +0200 |
| commit | efa3add0c03b70ecda3890cc6c69e66850605e7d (patch) | |
| tree | 170f4a2991b8bfd30f6a769a173b2f0fe132686b /dev | |
| parent | 550a407928063c8e93af808408a61a238fa5039a (diff) | |
Fix handling of side effects in Defined objects (Closes: HoTT#111 + 3344)
Every time you use abstract a kitten dies, please stop.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions