From 40937923610916a0976be90f15df378af10df110 Mon Sep 17 00:00:00 2001 From: Daniel Garcia-Sanchez Date: Thu, 9 Apr 2020 20:48:19 +0200 Subject: [PATCH] Rename cmake.html and cmakelists.html Rename cmake.html and cmakelists.html to cmake_dealii.html and cmake_user.html --- doc/users/{cmake.html => cmake_dealii.html} | 0 doc/users/{cmakelists.html => cmake_user.html} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename doc/users/{cmake.html => cmake_dealii.html} (100%) rename doc/users/{cmakelists.html => cmake_user.html} (100%) diff --git a/doc/users/cmake.html b/doc/users/cmake_dealii.html similarity index 100% rename from doc/users/cmake.html rename to doc/users/cmake_dealii.html diff --git a/doc/users/cmakelists.html b/doc/users/cmake_user.html similarity index 100% rename from doc/users/cmakelists.html rename to doc/users/cmake_user.html -- 2.39.5