PKGBUILDs/community/gnuradio/gnuradio-companion.install

16 lines
128 B
Text
Raw Normal View History

2015-03-06 06:38:58 +00:00
# null file because devtools breaks without it
post_upgrade() {
true
}
post_install() {
true
}
pre_remove() {
true
}