diff options
Diffstat (limited to 'doc/UsersGuide/UtilityRoutines.tex')
| -rw-r--r-- | doc/UsersGuide/UtilityRoutines.tex | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/UsersGuide/UtilityRoutines.tex b/doc/UsersGuide/UtilityRoutines.tex index e23e595c..5289faf0 100644 --- a/doc/UsersGuide/UtilityRoutines.tex +++ b/doc/UsersGuide/UtilityRoutines.tex @@ -267,6 +267,11 @@ At present there is only a single option: In general, Cactus basically just ignores internationalization issues. Sigh\dots }%%% +{} + Note that keys are still {\em stored\/} exactly as + the caller specifies them (\ie{} they are {\em not\/} + forced into a canonical case); it's only their + {\em comparison\/} that's affected by this flag. \end{description} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |