projects / dune-common.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 876b284 a25b97d)
dune-common (2.3.1-1) unstable; urgency=medium
authorAnsgar Burchardt <ansgar@debian.org>
Tue, 17 Jun 2014 17:46:31 +0000 (18:46 +0100)
committerAnsgar Burchardt <ansgar@debian.org>
Tue, 17 Jun 2014 17:46:31 +0000 (18:46 +0100)
commit1afa3b05cb447f36ea75ffb1e92865f4d89baf3a
tree41dc36940857805d8534ede6c57f1a346a102708tree | snapshot
parent876b2843178afba6f2a4abfdef31fe39ad7b547fcommit | diff
parenta25b97dea89129ff4289700854eda3a723b5d5c0commit | diff
dune-common (2.3.1-1) unstable; urgency=medium

  * New upstream release.
  * Install bash completion for dunecontrol.

[dgit import unpatched dune-common 2.3.1-1]
19 files changed:
debian/changelog | | blob
debian/clean | | blob
debian/compat | | blob
debian/control | | blob
debian/copyright | | blob
debian/dune-debian.mk | | blob
debian/get-orig-source | | blob
debian/libdune-common-2.3.1.install | | blob
debian/libdune-common-2.3.1.lintian-overrides | | blob
debian/libdune-common-dev.install | | blob
debian/libdune-common-dev.manpages | | blob
debian/libdune-common-doc.install | | blob
debian/patches/dune-autogen.patch | | blob
debian/patches/rename-git-whitespace-hook.patch | | blob
debian/patches/series | | blob
debian/patches/skip-dirs-starting-with-dot.patch | | blob
debian/patches/soname.patch | | blob
debian/rules | | blob
debian/source/format | | blob
Unnamed repository; edit this file 'description' to name the repository.