projects / dune-common.git / shortlog
| 2018-06-21 | Ansgar Burchardt | Rename git-whitespace-hook to dune-git-whitespace-hook. | commit | commitdiff | tree | snapshot |
| 2018-06-21 | Ansgar Burchardt | skip directories starting with a dot when looking for... | commit | commitdiff | tree | snapshot |
| 2018-06-21 | Debian Science... | soname | commit | commitdiff | tree | snapshot |
| 2018-06-21 | Ansgar Burchardt | dune-common (2.6.0-3) unstable; urgency=medium | commit | commitdiff | tree | snapshot |
| 2018-06-21 | Ansgar Burchardt | Import dune-common_2.6.0-3.debian.tar.xz | commit | commitdiff | tree | snapshot |
| 2018-04-02 | Ansgar Burchardt | Import dune-common_2.6.0.orig.tar.gz | commit | commitdiff | tree | snapshot |