From 56d3031b412c967bd960ac27aa1c344f720e74d7 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Thu, 10 Jul 2008 13:11:43 -0500 Subject: [PATCH] Rename incorrectly named file --- extra/backtrack/{description.txt => summary.txt} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename extra/backtrack/{description.txt => summary.txt} (100%) diff --git a/extra/backtrack/description.txt b/extra/backtrack/summary.txt similarity index 100% rename from extra/backtrack/description.txt rename to extra/backtrack/summary.txt -- 2.34.1