Changeset 1057 for src/common/Identifiers.ma
- Timestamp:
- Jul 5, 2011, 5:53:11 PM (10 years ago)
- File:
-
- 1 edited
-
src/common/Identifiers.ma (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
src/common/Identifiers.ma
r1056 r1057 1 2 1 include "basics/types.ma". 3 2 include "ASM/String.ma".
Note: See TracChangeset
for help on using the changeset viewer.
