projects / dune-common.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a94878) | patch
soname
authorDebian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Sat, 19 Mar 2022 12:10:34 +0000 (12:10 +0000)
committerDrew Parsons <dparsons@debian.org>
Sat, 19 Mar 2022 12:10:34 +0000 (12:10 +0000)
commit993d1a3a1459fe6535a8cd6c48509e61deeea7b6
tree87166650209b805cc8daa90be8235c03ec0495f7tree | snapshot
parent2a94878cbcfc999c07fc680b6ed2b69f40a2a4f3commit | diff
soname

===================================================================

Gbp-Pq: Name soname.patch
cmake/modules/DuneMacros.cmake diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.