From 0a83b317c762949dadd04c8c6985483b21a56c2d Mon Sep 17 00:00:00 2001 From: Akos Kiss Date: Wed, 10 Feb 2016 17:08:16 +0100 Subject: [PATCH] Rename docs/Doxygen to docs/Doxyfile This is a really minuscule change, but it is more idiomatic to name the config file of doxygen as Doxyfile. JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu --- docs/{Doxygen => Doxyfile} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename docs/{Doxygen => Doxyfile} (100%) diff --git a/docs/Doxygen b/docs/Doxyfile similarity index 100% rename from docs/Doxygen rename to docs/Doxyfile