From fcbca80ce33ef50a3e7f5c66bd1cd917b3ba10ff Mon Sep 17 00:00:00 2001
From: Dmitrij Naumov <dmitrij@naumov.de>
Date: Fri, 2 Nov 2012 14:15:02 +0100
Subject: [PATCH] Remove duplicate comment.

---
 BaseLib/FileTools.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/BaseLib/FileTools.cpp b/BaseLib/FileTools.cpp
index a545e45b3b6..f06f7e7074d 100644
--- a/BaseLib/FileTools.cpp
+++ b/BaseLib/FileTools.cpp
@@ -74,9 +74,6 @@ size_t findLastDot(std::string const& path)
 	return path.find_last_of(".");
 }
 
-/** Returns a string with file extension as found by getFileExtension()
- * dropped.
- */
 std::string dropFileExtension(std::string const& filename)
 {
 	const size_t p = findLastDot(filename);
-- 
GitLab