From 8a2ac20b3416bb80f06c95f516989794723d11a8 Mon Sep 17 00:00:00 2001 From: Baptiste Daroussin Date: Mon, 1 Sep 2014 16:48:53 +0000 Subject: Remove non staged ports without pending PR from j* --- irc/bobot++/files/patch-documentation__bobot++.texinfo | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 irc/bobot++/files/patch-documentation__bobot++.texinfo (limited to 'irc/bobot++/files') diff --git a/irc/bobot++/files/patch-documentation__bobot++.texinfo b/irc/bobot++/files/patch-documentation__bobot++.texinfo deleted file mode 100644 index eb01d874ca1e..000000000000 --- a/irc/bobot++/files/patch-documentation__bobot++.texinfo +++ /dev/null @@ -1,12 +0,0 @@ ---- documentation/bobot++.texinfo.orig 2008-11-13 09:51:42.000000000 +0900 -+++ documentation/bobot++.texinfo 2011-03-21 12:50:48.000000000 +0900 -@@ -1,6 +1,9 @@ - \input texinfo @c -*- texinfo -*- - @c %**start of header - @setfilename bobot++.info -+@direntry -+* Bobot++: (bobot++). A Schemeable IRC Bot. -+@end direntry - @settitle Bobot++: A Schemeable IRC Bot - @setchapternewpage on - @c %**end of header -- cgit v1.2.3