From 3d0dcc5c4bf79bae18512d32dc7d5fb140082372 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michael=20Teichgr=C3=A4ber?= <mt@ib.wmipf.de>
Date: Wed, 23 Jan 2013 22:36:47 +0100
Subject: [PATCH] Removed unused disjunct in SourceContents. [jgm/peg-markdown]

See https://github.com/jgm/peg-markdown/commit/2a19a38
---
 parser.leg | 1 -
 portid     | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/parser.leg b/parser.leg
index 96d0b8e..75bc921 100644
--- a/parser.leg
+++ b/parser.leg
@@ -610,7 +610,6 @@ Source  = ( '<' < SourceContents > '>' | < SourceContents > )
           { $$ = p.mkString(yytext) }
 
 SourceContents = ( ( !'(' !')' !'>' Nonspacechar )+ | '(' SourceContents ')')*
-                 | ""
 
 Title = ( TitleSingle | TitleDouble | < "" > )
         { $$ = p.mkString(yytext) }
diff --git a/portid b/portid
index 0f11735..5381652 100644
--- a/portid
+++ b/portid
@@ -1 +1 @@
-196
+197