From 4d232c56e0f2a0348a05fb218c96858783187221 Mon Sep 17 00:00:00 2001 From: Christophe Vandeplas Date: Tue, 14 Aug 2018 09:38:38 +0200 Subject: [PATCH] cosmetic change --- tools/gen_mapping.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/gen_mapping.py b/tools/gen_mapping.py index 37a7e72..d13b10b 100755 --- a/tools/gen_mapping.py +++ b/tools/gen_mapping.py @@ -8,6 +8,8 @@ The mapping is made by using the synonyms documented in each cluster. The output is saved in the cluster files themselves, if a change is done the version number is increased. (commented out) The output is saved in a file called "mapping_XXX.json". + +# TODO add a blacklist support for blacklisted mappings ''' import json import os