From c6a7fd614c63bc84885577fd78b8f0c67b94c195 Mon Sep 17 00:00:00 2001 From: Robert Sesek Date: Wed, 11 Jan 2006 00:32:11 +0000 Subject: [PATCH] Moving dev/ to docs/ --- {dev => docs}/difftest.php | 0 {dev => docs}/todo.txt | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename {dev => docs}/difftest.php (100%) rename {dev => docs}/todo.txt (100%) diff --git a/dev/difftest.php b/docs/difftest.php similarity index 100% rename from dev/difftest.php rename to docs/difftest.php diff --git a/dev/todo.txt b/docs/todo.txt similarity index 100% rename from dev/todo.txt rename to docs/todo.txt -- 2.22.5