Tom Wiesing 0b8ea38b7b Add 'patch_triples.sh'		2021-05-04 10:48:36 +02:00
..
easyrdf.patch	Rename runtime -> barrel	2020-07-14 16:23:36 +02:00
triples.patch	Add 'patch_triples.sh'	2021-05-04 10:48:36 +02:00