From ece5c8020340d779d6ee8d961522dce22d52df54 Mon Sep 17 00:00:00 2001 From: Nico Schottelius Date: Sun, 19 Sep 2010 14:35:29 +0200 Subject: [PATCH] internal fits better than dev Signed-off-by: Nico Schottelius --- doc/{dev => internal}/header | 0 doc/{dev => internal}/shell-hints | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename doc/{dev => internal}/header (100%) rename doc/{dev => internal}/shell-hints (100%) diff --git a/doc/dev/header b/doc/internal/header similarity index 100% rename from doc/dev/header rename to doc/internal/header diff --git a/doc/dev/shell-hints b/doc/internal/shell-hints similarity index 100% rename from doc/dev/shell-hints rename to doc/internal/shell-hints