Overview
| Comment: | string_slices-slice_sets: drop uneeded mutability of string references |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
7521b2a2e6de6d19d30c82c73381f6c5 |
| User & Date: | nat on 2017-06-13 19:15:59 |
| Other Links: | manifest | tags |
Context
|
2017-06-14
| ||
| 20:58 | string_slices: new callback-based constructor check-in: cd40fb63c6 user: nat tags: trunk | |
|
2017-06-13
| ||
| 19:15 | string_slices-slice_sets: drop uneeded mutability of string references check-in: 7521b2a2e6 user: nat tags: trunk | |
|
2017-06-12
| ||
| 19:15 | string_slices: use an immutable reference to protect from overwriting check-in: 74bf50894a user: nat tags: trunk | |
Changes
Modified src/natools-string_slices-slice_sets.adb from [5c501d728f] to [1f8038645d]. [diff]
Modified src/natools-string_slices-slice_sets.ads from [1e859d6e55] to [f937fc3f1f]. [diff]