chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e28f906) | patch
dgit: Introduce access_nomdistro()
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 6 Nov 2016 18:23:01 +0000 (18:23 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 6 Nov 2016 18:23:01 +0000 (18:23 +0000)
commit0e7753f7935b97bb3f7e3921651006e41bff0cca
treecb7354e8357ed4924aaf0c9670fb289792cea639tree | snapshot
parente28f906f107c69d18d68f47538077c868cc1e77ccommit | diff
dgit: Introduce access_nomdistro()

This distro name is used for tag names, protocol elements, etc., and
also as a search element for config lookups.

Each distro can specify a nominal-distro.

No functional change with current config.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dgit diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.