Georges Dupéron 7c365a217c Renamed has-*-scopes?		2017-01-29 20:05:21 +01:00
..
scope-operations.scrbl	Renamed has-*-scopes?	2017-01-29 20:05:21 +01:00