diff --git a/isa/47/13.md b/isa/47/13.md deleted file mode 100644 index d778b3d918..0000000000 --- a/isa/47/13.md +++ /dev/null @@ -1,4 +0,0 @@ -# General Information: - -This page has intentionally been left blank. -