From dbb19d1b54c98ae8485a7a487a87e8812be29486 Mon Sep 17 00:00:00 2001
From: Jan Vesely <janvesely@janvesely.net>
Date: Sun, 6 Apr 2014 13:47:11 +0200
Subject: [PATCH] rename vpa examples to nvpa
---
examples/automaton/{VPA1.xml => NVPA1.xml} | 0
examples/automaton/{VPA2.xml => NVPA2.xml} | 0
2 files changed, 0 insertions(+), 0 deletions(-)
rename examples/automaton/{VPA1.xml => NVPA1.xml} (100%)
rename examples/automaton/{VPA2.xml => NVPA2.xml} (100%)
diff --git a/examples/automaton/VPA1.xml b/examples/automaton/NVPA1.xml
similarity index 100%
rename from examples/automaton/VPA1.xml
rename to examples/automaton/NVPA1.xml
diff --git a/examples/automaton/VPA2.xml b/examples/automaton/NVPA2.xml
similarity index 100%
rename from examples/automaton/VPA2.xml
rename to examples/automaton/NVPA2.xml
--
GitLab