From 201034238a4568417f3c9171dd6d6b5cd9fdf218 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Mon, 22 Jun 2015 11:04:11 +0200 Subject: [PATCH] remove vrb --- pres/.gitignore | 1 + pres/pres.vrb | 2 -- 2 files changed, 1 insertion(+), 2 deletions(-) delete mode 100644 pres/pres.vrb diff --git a/pres/.gitignore b/pres/.gitignore index ec4639a..ebe153b 100644 --- a/pres/.gitignore +++ b/pres/.gitignore @@ -5,3 +5,4 @@ pres.nav pres.out pres.snm pres.toc +pres.vrb diff --git a/pres/pres.vrb b/pres/pres.vrb deleted file mode 100644 index 199337f..0000000 --- a/pres/pres.vrb +++ /dev/null @@ -1,2 +0,0 @@ -\frametitle{RSS/Atom Feeds} -\pause\lstinputlisting[language=xml]{exrss.xml} -- 2.20.1