From 93c196acaaf85e406f579a94489af5f1ade04ebd Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 1 Jul 2021 09:51:53 +0200 Subject: [PATCH] Move schemas into subdirectory after subtree split --- .gitignore | 1 - dataspace.prs => schemas/dataspace.prs | 0 dataspacePatterns.prs => schemas/dataspacePatterns.prs | 0 gatekeeper.prs => schemas/gatekeeper.prs | 0 protocol.prs => schemas/protocol.prs | 0 racketEvent.prs => schemas/racketEvent.prs | 0 secureChatProtocol.prs => schemas/secureChatProtocol.prs | 0 service.prs => schemas/service.prs | 0 simpleChatProtocol.prs => schemas/simpleChatProtocol.prs | 0 stream.prs => schemas/stream.prs | 0 sturdy.prs => schemas/sturdy.prs | 0 tcp.prs => schemas/tcp.prs | 0 timer.prs => schemas/timer.prs | 0 worker.prs => schemas/worker.prs | 0 14 files changed, 1 deletion(-) delete mode 100644 .gitignore rename dataspace.prs => schemas/dataspace.prs (100%) rename dataspacePatterns.prs => schemas/dataspacePatterns.prs (100%) rename gatekeeper.prs => schemas/gatekeeper.prs (100%) rename protocol.prs => schemas/protocol.prs (100%) rename racketEvent.prs => schemas/racketEvent.prs (100%) rename secureChatProtocol.prs => schemas/secureChatProtocol.prs (100%) rename service.prs => schemas/service.prs (100%) rename simpleChatProtocol.prs => schemas/simpleChatProtocol.prs (100%) rename stream.prs => schemas/stream.prs (100%) rename sturdy.prs => schemas/sturdy.prs (100%) rename tcp.prs => schemas/tcp.prs (100%) rename timer.prs => schemas/timer.prs (100%) rename worker.prs => schemas/worker.prs (100%) diff --git a/.gitignore b/.gitignore deleted file mode 100644 index e8e450b..0000000 --- a/.gitignore +++ /dev/null @@ -1 +0,0 @@ -gen/ diff --git a/dataspace.prs b/schemas/dataspace.prs similarity index 100% rename from dataspace.prs rename to schemas/dataspace.prs diff --git a/dataspacePatterns.prs b/schemas/dataspacePatterns.prs similarity index 100% rename from dataspacePatterns.prs rename to schemas/dataspacePatterns.prs diff --git a/gatekeeper.prs b/schemas/gatekeeper.prs similarity index 100% rename from gatekeeper.prs rename to schemas/gatekeeper.prs diff --git a/protocol.prs b/schemas/protocol.prs similarity index 100% rename from protocol.prs rename to schemas/protocol.prs diff --git a/racketEvent.prs b/schemas/racketEvent.prs similarity index 100% rename from racketEvent.prs rename to schemas/racketEvent.prs diff --git a/secureChatProtocol.prs b/schemas/secureChatProtocol.prs similarity index 100% rename from secureChatProtocol.prs rename to schemas/secureChatProtocol.prs diff --git a/service.prs b/schemas/service.prs similarity index 100% rename from service.prs rename to schemas/service.prs diff --git a/simpleChatProtocol.prs b/schemas/simpleChatProtocol.prs similarity index 100% rename from simpleChatProtocol.prs rename to schemas/simpleChatProtocol.prs diff --git a/stream.prs b/schemas/stream.prs similarity index 100% rename from stream.prs rename to schemas/stream.prs diff --git a/sturdy.prs b/schemas/sturdy.prs similarity index 100% rename from sturdy.prs rename to schemas/sturdy.prs diff --git a/tcp.prs b/schemas/tcp.prs similarity index 100% rename from tcp.prs rename to schemas/tcp.prs diff --git a/timer.prs b/schemas/timer.prs similarity index 100% rename from timer.prs rename to schemas/timer.prs diff --git a/worker.prs b/schemas/worker.prs similarity index 100% rename from worker.prs rename to schemas/worker.prs