Skip to content
Snippets Groups Projects
user avatar
Jonathan Schöbel authored
Global attributes are represented by empty attributes. A global
attribute is an attribute, that is accepted for any tag.
It is refused to remove a specific tag for a global attribute, as this
would mean to "localize" the tag, thus making it not global anymore.
The method to do that and a predicate for globalness is missing yet.
e3f56c36
History
Name Last commit Last update
..