![]() Possibly a better long-term solution (for after the release) is to not use the ignore property here and instead just use the ignore table. |
||
---|---|---|
.. | ||
typed | ||
typed-racket | ||
info.rkt | ||
LICENSE.txt |
![]() Possibly a better long-term solution (for after the release) is to not use the ignore property here and instead just use the ignore table. |
||
---|---|---|
.. | ||
typed | ||
typed-racket | ||
info.rkt | ||
LICENSE.txt |