Changeset 58378

Timestamp:
Dec 14, 2009, 3:51:13 PM (13 years ago)
Author:
Hartmut Kaiser
Message:

Spirit: fixing an issue with Karma alternatives

(No files)

Note: See TracChangeset for help on using the changeset viewer.