From ff95802c460e54e140e934e7a6c0c2bf45739984 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Fri, 14 Nov 2008 20:17:27 -0600 Subject: [PATCH] Change tags a bit --- basis/sorting/human/tags.txt | 1 + basis/sorting/insertion/tags.txt | 1 + core/sorting/tags.txt | 1 + extra/advice/tags.txt | 4 +--- 4 files changed, 4 insertions(+), 3 deletions(-) diff --git a/basis/sorting/human/tags.txt b/basis/sorting/human/tags.txt index 3ab2d731fe..93a2a0fa14 100644 --- a/basis/sorting/human/tags.txt +++ b/basis/sorting/human/tags.txt @@ -1,2 +1,3 @@ collections text +algorithms diff --git a/basis/sorting/insertion/tags.txt b/basis/sorting/insertion/tags.txt index 42d711b32b..1e3d675068 100644 --- a/basis/sorting/insertion/tags.txt +++ b/basis/sorting/insertion/tags.txt @@ -1 +1,2 @@ collections +algorithms diff --git a/core/sorting/tags.txt b/core/sorting/tags.txt index 42d711b32b..1e3d675068 100644 --- a/core/sorting/tags.txt +++ b/core/sorting/tags.txt @@ -1 +1,2 @@ collections +algorithms diff --git a/extra/advice/tags.txt b/extra/advice/tags.txt index a87b65d938..f4274299b1 100644 --- a/extra/advice/tags.txt +++ b/extra/advice/tags.txt @@ -1,3 +1 @@ -advice -aspect -annotations +extensions