Bump version

rzk-lang · Sep 7, 2023 · 354aca7 · 354aca7
1 parent 7ef5ead
commit 354aca7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/setup.py b/setup.py
@@ -4,7 +4,7 @@
 
 setup(
     name='pygments-rzk',
-    version='0.1.3',
+    version='0.1.4',
     description='Pygments lexer for Rzk language (of proof assistant for synthetic ∞-categories).',
     long_description=open('README.md').read(),
     long_description_content_type='text/markdown',