projects / openmpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51fdcaa) | patch
Remove changes to non-existing file from raspbian.diff archive/raspbian/3.1.0-6+rpi1 raspbian/3.1.0-6+rpi1
authorPeter Michael Green <plugwash@raspbian.org>
Sun, 10 Jun 2018 08:13:47 +0000 (08:13 +0000)
committerPeter Michael Green <plugwash@raspbian.org>
Sun, 10 Jun 2018 08:13:47 +0000 (08:13 +0000)
commitab42065df2b697668681936cb438d4520f1aa0ba
treee92f07c0ea107e1034511f3ec67d2220caea6359tree | snapshot
parent51fdcaa49ebeda22d0246ea16f11106bf2442c12commit | diff
Remove changes to non-existing file from raspbian.diff
(changes were already removed from main source tree as part of the merge)
debian/patches/raspbian.diff diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.