diff --git a/src/editor/simple/about.html b/src/editor/simple/about.html index a488c6e56..c5b4a5b2a 100644 --- a/src/editor/simple/about.html +++ b/src/editor/simple/about.html @@ -204,6 +204,10 @@ Also note that each grammar is assigned a unique identity when it is first created. Renaming a grammar does not change its identity. This means that name changes are propagated between devices like other changes. +