diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-03-05 21:26:43 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-03-05 21:26:43 -0500 |
commit | 79ca2c8d649f7e2c528d8de2cd87068ffb801a01 (patch) | |
tree | 7431d0b52a1f10714353ce364d3e6687981146c1 /check.sh | |
parent | f339c39e467464a69a67710031603ee033d9833f (diff) |
add ditaa to the blacklist
Diffstat (limited to 'check.sh')
0 files changed, 0 insertions, 0 deletions