source:
main/waeup.sirp
@
5435
| Name | Size | Rev | Age | Author | Last change |
|---|---|---|---|---|---|
| ../ | |||||
| branches | 5434 | 14 years | |||
| tags | 4953 | 15 years | Remove dev-marker. | ||
| trunk | 5435 | 14 years | Add a general function to compute a unique principal id. | ||
Note: See TracBrowser for help on using the repository browser.
