profiles/desc: Remove unused GPSD_PROTOCOLS values
authorMichał Górny <mgorny@gentoo.org>
Tue, 16 May 2017 16:52:07 +0000 (18:52 +0200)
committerMichał Górny <mgorny@gentoo.org>
Tue, 16 May 2017 17:11:19 +0000 (19:11 +0200)
commit1288d772729214e05d773e85acc570ccd9a86b12
tree086176078675a4c205f18b0e62f64187d29c70a9
parent2266dd884a4c33b0289e18182048bba7052e3b40
profiles/desc: Remove unused GPSD_PROTOCOLS values
profiles/desc/gpsd_protocols.desc