-
Sven Neumann authored
The last character of the tips (the final dot) was cut off. Fixed this. --Sven
81916ded
To find the state of this project's repository at the time of any of these versions, check out the tags.
The last character of the tips (the final dot) was cut off. Fixed this. --Sven