Skip to content

Commit

Permalink
Remove lint.sh as it calls a non-existing script
Browse files Browse the repository at this point in the history 
It calls "tools/format/format.pl", which was removed in 8072743.
  • Loading branch information
@BevapDin @kevingranade
BevapDin authored and kevingranade committed Jun 30, 2019
1 parent 3ec43b8 commit e42e973
Showing 1 changed file with 0 additions and 54 deletions.
54 changes: 0 additions & 54 deletions tools/lint.sh
View file

This file was deleted.

0 comments on commit e42e973

Please sign in to comment.