Mercurial > urweb
comparison src/coq/Makefile @ 1829:aadfc1a138d8
Removed unused parent() function which conflicts with window.parent.
| author | Vladimir Shabanov <vshabanoff@gmail.com> |
|---|---|
| date | Mon, 22 Oct 2012 01:49:22 +0400 |
| parents | 705cb41ac7d0 |
| children |
comparison
equal
deleted
inserted
replaced
| 1828:05e3365292cd | 1829:aadfc1a138d8 |
|---|