Changes between Version 51 and Version 52 of Language
- Timestamp:
- 05/23/23 10:09:17 (3 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Language
v51 v52 813 813 `/*@` ''clause''* `*/` 814 814 815 Optionally, any line after the first line (which begins with `/*@` in the contract may have `*` as its first non-white-space character;815 Optionally, any line after the first line (which begins with `/*@`) in the contract may have `*` as its first non-white-space character; 816 816 this character is ignored. 817 817
