From 3073ab62d6284539ae2fba1ee782236a3d9bfd35 Mon Sep 17 00:00:00 2001
From: Eduardo Cavazos <dharmatech@finkelstein.stackeffects.info>
Date: Fri, 1 Aug 2008 17:16:50 -0500
Subject: [PATCH] automata: Edit tags

---
 extra/automata/ui/tags.txt | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 extra/automata/ui/tags.txt

diff --git a/extra/automata/ui/tags.txt b/extra/automata/ui/tags.txt
new file mode 100644
index 0000000000..cb5fc203e1
--- /dev/null
+++ b/extra/automata/ui/tags.txt
@@ -0,0 +1 @@
+demos