From 05b5b6c8f6406301088621d35939078e5d614438 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sat, 8 Aug 2015 19:14:45 +0200 Subject: [PATCH] add some more words to ignore --- tools/internal/spell_dict.txt | 29 ++++++++++++++++++++++------- 1 file changed, 22 insertions(+), 7 deletions(-) diff --git a/tools/internal/spell_dict.txt b/tools/internal/spell_dict.txt index d1cddee972..50aa56ba2a 100644 --- a/tools/internal/spell_dict.txt +++ b/tools/internal/spell_dict.txt @@ -1,13 +1,28 @@ +addtogroup const cplusplus -SimGrid -param -FIXME -TODO -todo -LGPL -src dst +FIXME +hideinitializer +java +Java +JEDULE +JNI lat +LGPL lmm +param pstate +SD +simcall +simcalls +SimGrid +simix +SIMIX +smx +src +todo +TODO +xbt +XBT +xml -- 2.20.1