Move schemas into subdirectory after subtree split

2 years ago · 93c196acaa
parent e034486aaa
commit 93c196acaa
14 changed files with 0 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1 +0,0 @@
-gen/
--- a/schemas/dataspace.prs
+++ b/schemas/dataspace.prs
--- a/schemas/dataspacePatterns.prs
+++ b/schemas/dataspacePatterns.prs
--- a/schemas/gatekeeper.prs
+++ b/schemas/gatekeeper.prs
--- a/schemas/protocol.prs
+++ b/schemas/protocol.prs
--- a/schemas/racketEvent.prs
+++ b/schemas/racketEvent.prs
--- a/schemas/secureChatProtocol.prs
+++ b/schemas/secureChatProtocol.prs
--- a/schemas/service.prs
+++ b/schemas/service.prs
--- a/schemas/simpleChatProtocol.prs
+++ b/schemas/simpleChatProtocol.prs
--- a/schemas/stream.prs
+++ b/schemas/stream.prs
--- a/schemas/sturdy.prs
+++ b/schemas/sturdy.prs
--- a/schemas/tcp.prs
+++ b/schemas/tcp.prs
--- a/schemas/timer.prs
+++ b/schemas/timer.prs
--- a/schemas/worker.prs
+++ b/schemas/worker.prs