Skip to content
Snippets Groups Projects
Forked from Iris / stdpp
Source project has a limited visibility.
user avatar
Jacques-Henri Jourdan authored
Use Open/Close Scope without Local (i.e., export the scope opening)
only when the scope corresponds to the main purpose of the module.
a64bf2f0
History
Name Last commit Last update