projects / giada.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7cb0902) | patch
Patch refreshed.
authorJaromír Mikeš <mira.mikes@seznam.cz>
Mon, 21 Nov 2016 08:40:03 +0000 (09:40 +0100)
committerJaromír Mikeš <mira.mikes@seznam.cz>
Mon, 21 Nov 2016 08:40:03 +0000 (09:40 +0100)
commitcfba843712bca72a854be77035d21eecd523d632
tree411b9801edfe913b7b8f08b3dc24f94de7eab927tree | snapshot
parent7cb09027d639eeeffeeb65ac9441303e1da4b671commit | diff
Patch refreshed.
debian/patches/02-rtmidi-pkgconfig.patch diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.