diff options
author | Zach van Rijn <me@zv.io> | 2022-01-03 11:39:21 -0600 |
---|---|---|
committer | Zach van Rijn <me@zv.io> | 2022-01-03 11:39:21 -0600 |
commit | d9fd5b1f036d17bcbdb7d38a02791561a1592f09 (patch) | |
tree | 4d90a5b4f6362c9a41a2d51f70537babbe85ff0f /scripts/dotty | |
parent | cf32bb8c94d6955f3159e5ed83e12c8f2e458df7 (diff) | |
download | packages-d9fd5b1f036d17bcbdb7d38a02791561a1592f09.tar.gz packages-d9fd5b1f036d17bcbdb7d38a02791561a1592f09.tar.bz2 packages-d9fd5b1f036d17bcbdb7d38a02791561a1592f09.tar.xz packages-d9fd5b1f036d17bcbdb7d38a02791561a1592f09.zip |
system/texinfo: disable tests
Diffstat (limited to 'scripts/dotty')
0 files changed, 0 insertions, 0 deletions