diff --git a/extra/boids/tags.txt b/extra/boids/tags.txt deleted file mode 100644 index cb5fc203e1..0000000000 --- a/extra/boids/tags.txt +++ /dev/null @@ -1 +0,0 @@ -demos diff --git a/extra/automata/tags.txt b/extra/boids/ui/tags.txt similarity index 100% rename from extra/automata/tags.txt rename to extra/boids/ui/tags.txt