]>
author | Jakub Bogusz <qboosh@pld-linux.org> | |
Fri, 10 Sep 2021 20:58:56 +0000 (22:58 +0200) | ||
committer | Jakub Bogusz <qboosh@pld-linux.org> | |
Fri, 10 Sep 2021 20:58:56 +0000 (22:58 +0200) | ||
commit | d4aacc8e65498312e1ce54787a73c5fa4848d1e3 | |
tree | 7e70d4aec46162d422148c89a0c3b26d6ca582e4 | tree | snapshot |
parent | 66fe221c8006f5468d7d538d0badfccb6399c223 | commit | diff |
DESTDIR.patch | [deleted file] | blob | blame | history |
camlp5.spec | diff | blob | blame | history |