projects / giada.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d7dcc15) | patch
Patch refreshed.
authorJaromír Mikeš <mira.mikes@seznam.cz>
Sat, 25 Nov 2017 15:04:43 +0000 (16:04 +0100)
committerJaromír Mikeš <mira.mikes@seznam.cz>
Sat, 25 Nov 2017 15:04:43 +0000 (16:04 +0100)
commit953b34e3e68aaa5f7f88f904eed2b3720c099f18
tree2ff9490d664f98d6b067cf921b2be1db14df1ba6tree | snapshot
parentd7dcc15360e007053afb1102b676998c290eb75dcommit | diff
Patch refreshed.
debian/patches/02-rtmidi-pkgconfig.patch diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.