projects / giada.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 37507cb) | patch
Add patch to build with new rtmidi lib.
authorJaromír Mikeš <mira.mikes@seznam.cz>
Mon, 4 Jul 2016 19:02:07 +0000 (21:02 +0200)
committerJaromír Mikeš <mira.mikes@seznam.cz>
Mon, 4 Jul 2016 19:02:07 +0000 (21:02 +0200)
commitd0a29fe5c72c7f8c6686eda550aa812a74445648
treeeef30b37e61e98827b630d82f986503c29966dd1tree | snapshot
parent37507cb58b31130f9dd5da70d1ad26f6eeda0ff2commit | diff
Add patch to build with new rtmidi lib.
debian/patches/rtmidi-pkgconfig.patch [new file with mode: 0644] blob
debian/patches/series diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.