Rename scripts for release master origin/HEAD origin/master
authorLaurent Georget <laurent.georget@inria.fr>
Wed, 26 Aug 2015 15:54:18 +0000 (17:54 +0200)
committerLaurent Georget <laurent.georget@inria.fr>
Wed, 26 Aug 2015 15:54:18 +0000 (17:54 +0200)
commit8ba58fa77476e22235e60547ab50ba93c84fc128
tree7c5657dfafd4fe4dab8f472bfe795a254c713d4b
parent5b4b10716557c51d48b18464e4c35c1b9be4b628
Rename scripts for release
count_global_symbols.sh [deleted file]
extract_global_symbols.pl [deleted file]
krcount [new file with mode: 0755]
krextract [new file with mode: 0755]