From 6acc075683cfa3f115ac30a0129a6f7081f71885 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sat, 14 Jul 2012 02:44:46 +0100 Subject: [PATCH] strategy: rename trav-alg.tex to traversal.tex --- article.tex | 3 +-- trav-proofs.tex | 0 trav-alg.tex => traversal.tex | 0 3 files changed, 1 insertion(+), 2 deletions(-) delete mode 100644 trav-proofs.tex rename trav-alg.tex => traversal.tex (100%) diff --git a/article.tex b/article.tex index 6bbe082..a320e58 100644 --- a/article.tex +++ b/article.tex @@ -190,7 +190,6 @@ \input{strategy.tex} \input{ranking.tex} -\input{trav-alg.tex} -\input{trav-proofs.tex} +\input{traversal.tex} \end{document} diff --git a/trav-proofs.tex b/trav-proofs.tex deleted file mode 100644 index e69de29..0000000 diff --git a/trav-alg.tex b/traversal.tex similarity index 100% rename from trav-alg.tex rename to traversal.tex -- 2.30.2