From e4df974172a44b9d77ea4ceef8392c6fdb6f6909 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Thu, 2 Mar 2017 07:40:17 -0700 Subject: [PATCH] Rename file. --- 8.5/{deal85.tex => paper.tex} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename 8.5/{deal85.tex => paper.tex} (100%) diff --git a/8.5/deal85.tex b/8.5/paper.tex similarity index 100% rename from 8.5/deal85.tex rename to 8.5/paper.tex -- 2.39.5