mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
19931e2d87
rust/scripts
History
Jakob Hellermann 33a904425c make requested PR changes
2020-11-05 10:17:42 +01:00
..
cargo.sh manually fix some shellcheck warnings 2020-11-04 16:14:00 +01:00
config.sh make requested PR changes 2020-11-05 10:17:42 +01:00
filter_profile.rs Refactor the build system 2020-11-02 18:17:39 +01:00
Readme.md Reorganize scripts 2020-09-16 16:46:02 +02:00
rustup.sh run 'shellcheck -f diff $(fd --extension sh) | git apply' 2020-11-04 16:07:42 +01:00
test_bootstrap.sh run 'shellcheck -f diff $(fd --extension sh) | git apply' 2020-11-04 16:07:42 +01:00
tests.sh manually fix some shellcheck warnings 2020-11-04 16:14:00 +01:00

Readme.md

This directory is for scripts that are either never directly invoked or are not used very often. Scripts that are frequently used should be kept at the project root.