From 8c26a9a279974e6037d85183f05eb197d844db73 Mon Sep 17 00:00:00 2001
From: Robin Sonnabend <robin@fsmpi.rwth-aachen.de>
Date: Thu, 13 Jul 2017 15:35:37 +0200
Subject: [PATCH] =?UTF-8?q?=E2=80=9EIIRC=20findet=20Python=20seine=20Modul?=
 =?UTF-8?q?e=20mit=20der=20Endung=20.py=20und=20nicht=20mit=20.tex?=
 =?UTF-8?q?=E2=80=9C?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

/close #143
---
 protoparser.tex => protoparser.py | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename protoparser.tex => protoparser.py (100%)

diff --git a/protoparser.tex b/protoparser.py
similarity index 100%
rename from protoparser.tex
rename to protoparser.py
-- 
GitLab