mirror of
https://mirrors.bfsu.edu.cn/git/linux.git
synced 2024-12-23 19:14:30 +08:00
3a0b3bbbff
The 'config2frag.sh' script is not used, so this commit removes it.
Fixes:
|
||
---|---|---|
.. | ||
bin | ||
configs | ||
doc | ||
formal/srcu-cbmc | ||
.gitignore |