PKGBUILDs/community/gnuradio/gnuradio-companion.install
2015-03-06 06:38:58 +00:00

15 lines
128 B
Text

# null file because devtools breaks without it
post_upgrade() {
true
}
post_install() {
true
}
pre_remove() {
true
}