projects / giada.git / commit
| author | Jaromír Mikeš <mira.mikes@seznam.cz> | |
| Tue, 16 Jan 2018 22:14:07 +0000 (23:14 +0100) | ||
| committer | Jaromír Mikeš <mira.mikes@seznam.cz> | |
| Tue, 16 Jan 2018 22:14:07 +0000 (23:14 +0100) | ||
| commit | 158874c85bfcb7bf08d50ffc6dc0b4177c3555b6 | |
| tree | bd4fde7793afb1f07b9bb30060861a44dee01dd0 | tree | snapshot |
| parent | ca71cd354132993aa706e460095f52314cffd0b7 | commit | diff |
| debian/patches/02-rtmidi-pkgconfig.patch | diff | blob | history | |
| debian/patches/03-gcc7.patch | [deleted file] | blob | history |
| debian/patches/series | diff | blob | history |