djkato/egui
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Remove very old lint.sh

Browse source
This commit is contained in:
Emil Ernerfeldt 2020-12-16 22:04:48 +01:00
parent dbf1e2d65b
commit c422ab930a
1 changed files with 0 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
lint.sh
View file

@ -1,5 +0,0 @@
#!/bin/bash
set -eu
echo "Cargo clippy"
cargo clippy