dist - Debian dgit repo for package dist

	Commit message (Expand)	Author	Age
*	Merge branch 'upstream'	Manoj Srivastava	2018-02-26
\|\
\| *	Count amount of git revisions to compute a sub-version number, like SVN did.	Raphael Manfredi	2016-04-01
\| *	Regenerated Configure.	rmanfredi	2010-11-27
\| *	Applied mega patch from Christian Biere to greatly improve feature detection	rmanfredi	2010-11-27
\| *	Fixed perl startup line since version 5.10 does not support "$*" any longer.	rmanfredi	2010-03-06
\| *	Make sure Instruct depends on Begin to move Begin ahead of any	rmanfredi	2008-06-14
\| *	Added automatic SVN revision computation in "revision.h".	rmanfredi	2008-05-28
*	Imported Upstream version 3.5-36	Manoj Srivastava	2014-04-27
*	Imported dist_3.5-30.orig.tar.gz	Manoj Srivastava	2009-10-30
*	Make sure Instruct depends on Begin to move Begin ahead of any	rmanfredi	2008-06-14
*	Added automatic SVN revision computation in "revision.h".	rmanfredi	2008-05-28