diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-05-29 03:15:29 +0200 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-05-29 03:15:29 +0200 |
| commit | e110e6e70e40eed06c06676fd2e62578da01d295 (patch) | |
| tree | 7731462d596402f90dc578602db41c4b53ddfe7c /html-test/ref/IgnoreExports.html | |
| parent | 57aa591362d7c8ba21285fccd6a958629a422091 (diff) | |
Revert "Accomodate change in PatSyn representation"
This reverts commit 57aa591362d7c8ba21285fccd6a958629a422091. I am
reverting this because I pushed it to master when it was meant to stay
on a wip-branch. Sorry Gergo and everyone who had trouble due to this.
Diffstat (limited to 'html-test/ref/IgnoreExports.html')
0 files changed, 0 insertions, 0 deletions