Revision 8926852f
[scopes] Producing the appropriate scope label
Files
- added
- modified
- copied
- renamed
- deleted
ID | 8926852fded32d674bb255b53a4c5660aee9f822 |
Parent | 08faae63 |
Child | 7065d912 |
Added by Pierre-Loïc Garoche almost 3 years ago
[scopes] Producing the appropriate scope label