]> git.ipfire.org Git - thirdparty/knot-resolver.git/commitdiff
projects / thirdparty / knot-resolver.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: cc4d2be fd58edb)
Merge branch 'debian-no-symbols-in-dev' into 'master'
authorPetr Špaček <petr.spacek@nic.cz>
Mon, 26 Mar 2018 12:27:06 +0000 (14:27 +0200)
committerPetr Špaček <petr.spacek@nic.cz>
Mon, 26 Mar 2018 12:27:06 +0000 (14:27 +0200)
debian: build dev packages without symbols file

See merge request knot/knot-resolver!524


Trivial merge
Mirror of https://gitlab.nic.cz/knot/knot-resolver.git