From 1f6090d7691f530df0faef700944f3b33c8b9f10 Mon Sep 17 00:00:00 2001
From: Radek Czajka <rczajka@rczajka.pl>
Date: Mon, 26 Mar 2018 10:05:01 +0200
Subject: [PATCH 1/1] Bump version (incompatilibity: dropping old Pythons).

---
 scripts/texml.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/texml.py b/scripts/texml.py
index 6822dd8..4786233 100755
--- a/scripts/texml.py
+++ b/scripts/texml.py
@@ -1,7 +1,7 @@
 #!python
 # $Id: texml.py,v 1.20 2006-07-20 03:56:49 olpa Exp $
 
-VERSION = "2.0.2"; # GREPVERSION # Format of this string is important
+VERSION = "3.0"; # GREPVERSION # Format of this string is important
 usage = """Convert TeXML markup to [La]TeX markup. v.%s. Usage:
 python texml.py [-e encoding] [-w auto_width] [-c|--context] [-a|--ascii] in_file out_file""" % VERSION
 
-- 
2.20.1