From 202fec6969695e1315629b3d12c269ceb7a40fba Mon Sep 17 00:00:00 2001
From: Michael Baas <mbaas@dyalog.com>
Date: Wed, 27 Sep 2023 10:57:45 +0200
Subject: [PATCH] Deleted unneccessary file order0.rng.txt

---
 order0.rng.txt | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 order0.rng.txt

diff --git a/order0.rng.txt b/order0.rng.txt
deleted file mode 100644
index e69de29..0000000