projects / dune-common.git / shortlog
| 2014-06-17 | Ansgar Burchardt | Rename git-whitespace-hook to dune-git-whitespace-hook. | commit | commitdiff | tree | snapshot |
| 2014-06-17 | Ansgar Burchardt | skip directories starting with a dot when looking for... | commit | commitdiff | tree | snapshot |
| 2014-06-17 | Debian Science... | dune-autogen | commit | commitdiff | tree | snapshot |
| 2014-06-17 | Debian Science... | soname | commit | commitdiff | tree | snapshot |
| 2014-06-17 | Ansgar Burchardt | dune-common (2.3.1-1) unstable; urgency=medium | commit | commitdiff | tree | snapshot |
| 2014-06-17 | Ansgar Burchardt | Import dune-common_2.3.1.orig.tar.xz | commit | commitdiff | tree | snapshot |
| 2014-06-17 | Ansgar Burchardt | Import dune-common_2.3.1-1.debian.tar.xz | commit | commitdiff | tree | snapshot |