-
Alexandre Duret-Lutz authored
* src/level/connected.hh: Doc update from Jerome. prcs2git-id: 0_2.17
1e9bf8a9
To find the state of this project's repository at the time of any of these versions, check out the tags.
* src/level/connected.hh: Doc update from Jerome. prcs2git-id: 0_2.17