From 7e58920fe37c1224d9912a56687c3437b172009f Mon Sep 17 00:00:00 2001 From: Axel Kohlmeyer Date: Thu, 14 Nov 2019 12:35:50 -0500 Subject: [PATCH] move developer's guide tex sources back to src/Developer --- doc/{txt => src}/Developer/.gitignore | 0 doc/{txt => src}/Developer/classes.fig | 0 doc/{txt => src}/Developer/classes.pdf | Bin doc/{txt => src}/Developer/developer.tex | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename doc/{txt => src}/Developer/.gitignore (100%) rename doc/{txt => src}/Developer/classes.fig (100%) rename doc/{txt => src}/Developer/classes.pdf (100%) rename doc/{txt => src}/Developer/developer.tex (100%) diff --git a/doc/txt/Developer/.gitignore b/doc/src/Developer/.gitignore similarity index 100% rename from doc/txt/Developer/.gitignore rename to doc/src/Developer/.gitignore diff --git a/doc/txt/Developer/classes.fig b/doc/src/Developer/classes.fig similarity index 100% rename from doc/txt/Developer/classes.fig rename to doc/src/Developer/classes.fig diff --git a/doc/txt/Developer/classes.pdf b/doc/src/Developer/classes.pdf similarity index 100% rename from doc/txt/Developer/classes.pdf rename to doc/src/Developer/classes.pdf diff --git a/doc/txt/Developer/developer.tex b/doc/src/Developer/developer.tex similarity index 100% rename from doc/txt/Developer/developer.tex rename to doc/src/Developer/developer.tex