dist - Debian dgit repo for package dist

	Commit message (Expand)	Author	Age
*	Merge branch 'topic--man-fixes'	Manoj Srivastava	2009-10-30
\|\
\| *	Imported dist_3.5-30.orig.tar.gz	Manoj Srivastava	2009-10-30
* \|	Merge branch 'upstream' into topic--debian	Manoj Srivastava	2008-11-25
\|\\|
\| *	* Append $ccflags so that it can override the defaults assuming the compiler	cbiere	2008-06-16
\| *	* Use the preprocessor output to detect the GCC version instead of executing	cbiere	2008-06-16
\| *	Make sure Instruct depends on Begin to move Begin ahead of any	rmanfredi	2008-06-14
* \|	Merge branch 'upstream' into topic--debian	Manoj Srivastava	2008-05-30
\|\\|
\| *	SVN revision number is now automatically generated in "revision.h".	rmanfredi	2008-05-28
\| *	Applied patch from Christian Biere, which adds "-Wshadow" to gcc 3.x flags.	rmanfredi	2006-11-04
\| *	Added I_SYS_POLL and I_POLL since we cannot rely on HAS_POLL being enough	rmanfredi	2006-08-30
\| *	Do not list special unit "Mcc" as being made.	rmanfredi	2006-08-28
\| *	Removed stale Mcc dependency.	rmanfredi	2006-08-28
\| *	Default to "-O2 -g" when using gcc.	rmanfredi	2006-08-28
\| *	Advertise SVN's repository for dist in every generated Configure script.	rmanfredi	2006-08-25
\| *	Moving project to sourceforge.	rmanfredi	2006-08-24
*	Fix the buggy invocation of split	Manoj Srivastava	2007-04-17
*	Incorporate previous changes to dist	Manoj Srivastava	2003-12-01
*	Initial import of upstream branch	Manoj Srivastava	2003-12-01