Module Name: src Committed By: christos Date: Mon Jun 23 15:22:07 UTC 2014
Modified Files:
src/distrib/sets/lists/man: mi
Log Message:
remove gdbint.info; it is no more.
To generate a diff of this commit:
cvs rdiff -u -r1.1475 -r1.1476 src/distrib/sets/lists/man/mi
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
