Casper Jeukendrup f81292cd24 Add the "instruments" resource to .tx/config ... so that it will be pushed/pulled by tx		2022-07-30 03:56:19 +02:00
..
config	Add the "instruments" resource to .tx/config	2022-07-30 03:56:19 +02:00