Mercurial > repo
changeset 10522:a7c5dff28c1d
<oerjan> undo 7702
author | HackBot |
---|---|
date | Mon, 27 Mar 2017 00:17:23 +0000 |
parents | 65621e821c02 |
children | 89e872b6ea9e |
files | wisdom/substructural typing |
diffstat | 1 files changed, 1 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff