From c208f8c3d4db12794cf6bd3cc4e0be3560d34a21 Mon Sep 17 00:00:00 2001 From: "nguenthe@0f416ab0ba07a395eb8a0c85732e0105e4970e10" Date: Tue, 9 Feb 2021 17:09:17 +0000 Subject: [PATCH] Added a comment --- .../comment_4_e54268d93837b3b8e216ec6af074f3c6._comment | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 doc/forum/Reverse_index_key_to_list_of_file_paths/comment_4_e54268d93837b3b8e216ec6af074f3c6._comment diff --git a/doc/forum/Reverse_index_key_to_list_of_file_paths/comment_4_e54268d93837b3b8e216ec6af074f3c6._comment b/doc/forum/Reverse_index_key_to_list_of_file_paths/comment_4_e54268d93837b3b8e216ec6af074f3c6._comment new file mode 100644 index 0000000000..6c3db9d361 --- /dev/null +++ b/doc/forum/Reverse_index_key_to_list_of_file_paths/comment_4_e54268d93837b3b8e216ec6af074f3c6._comment @@ -0,0 +1,9 @@ +[[!comment format=mdwn + username="nguenthe@0f416ab0ba07a395eb8a0c85732e0105e4970e10" + nickname="nguenthe" + avatar="http://cdn.libravatar.org/avatar/0e245fd49594e98b19d4c57efcb134ad" + subject="comment 4" + date="2021-02-09T17:09:15Z" + content=""" +`git grep` might be just as slow as `find` in the end, but so far it has always been very fast for me. Maybe I just don't have a hyper-huge number of files. +"""]]