dist - Debian dgit repo for package dist

	Commit message (Expand)	Author	Age
*	Merge branch 'upstream'	Manoj Srivastava	2020-05-19
\|\
\| *	Fixed typo in metalint man page.	Raphael Manfredi	2020-03-16
\| *	metalint: warn if defining a UU-file already claimed.	Raphael Manfredi	2020-03-16
\| *	metalint: warn if several units claim to export the same file.	Raphael Manfredi	2020-03-16
\| *	Fix man page comment schema (#17)	Dominic Hargreaves	2018-05-21
* \|	Merge branch 'upstream'	Manoj Srivastava	2018-02-26
\|\\|
\| *	Further enhanced ?MAKE: checks for pick to watch for %<.	Raphael Manfredi	2017-05-14
\| *	Updated places listing obsolete email addresses of mine.	Raphael Manfredi	2017-05-13
\| *	Forgot to escape '$' in manual page...	Raphael Manfredi	2017-05-13
\| *	Fixed English typo.	Raphael Manfredi	2017-05-13
\| *	Enhanced metalint to better validate ?MAKE: lines.	Raphael Manfredi	2017-05-13
\| *	Spelling: it is explicitly without e in both US and UK English (#2)	H.Merijn Brand	2016-05-22
\| *	Moving project to sourceforge.	rmanfredi	2006-08-24
*	[fix-man-page-typo]: Fix man page typos.	Manoj Srivastava	2014-04-27
*	Merge branch 'upstream' into topic--man-fixes	Manoj Srivastava	2009-10-30
\|\
\| *	Imported dist_3.5-30.orig.tar.gz	Manoj Srivastava	2009-10-30
* \|	[topic--man-fixes]: Fix man page comment schema	Manoj Srivastava	2009-10-30
\|/
*	Moving project to sourceforge.	rmanfredi	2006-08-24