commit | babad21eb5f30336e36207259b19cec96b9dc968 | [log] [tgz] |
---|---|---|
author | Tuncer Ayaz <tuncer.ayaz@gmail.com> | Mon Jan 15 21:53:21 2018 +0000 |
committer | GitHub <noreply@github.com> | Mon Jan 15 21:53:21 2018 +0000 |
tree | 2dba4599914233768655261d3eb7cac33e842791 | |
parent | 3c9cdc9bb2903a2a11092f442b25de37fafe81c6 [diff] | |
parent | 5dbce6bf8848d5e2f46362a7832e0f9b70eeffb5 [diff] |
Merge pull request #62 from KrzysiekJ/noshrink-type-fix Fix type definition of triq_dom:domrec/1