From 068fbee70ecd6f5b4dc094ecba6f2d19306692a0 Mon Sep 17 00:00:00 2001 From: idk Date: Wed, 22 Feb 2023 22:05:50 +0000 Subject: [PATCH] move extra docs to docs directory --- GOALS.md => docs/GOALS.md | 0 PRINCIPLES.md => docs/PRINCIPLES.md | 0 UPDATES.html => docs/UPDATES.html | 0 UPDATES.md => docs/UPDATES.md | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename GOALS.md => docs/GOALS.md (100%) rename PRINCIPLES.md => docs/PRINCIPLES.md (100%) rename UPDATES.html => docs/UPDATES.html (100%) rename UPDATES.md => docs/UPDATES.md (100%) diff --git a/GOALS.md b/docs/GOALS.md similarity index 100% rename from GOALS.md rename to docs/GOALS.md diff --git a/PRINCIPLES.md b/docs/PRINCIPLES.md similarity index 100% rename from PRINCIPLES.md rename to docs/PRINCIPLES.md diff --git a/UPDATES.html b/docs/UPDATES.html similarity index 100% rename from UPDATES.html rename to docs/UPDATES.html diff --git a/UPDATES.md b/docs/UPDATES.md similarity index 100% rename from UPDATES.md rename to docs/UPDATES.md