Changeset 67292

Timestamp:
Dec 18, 2010, 2:34:08 AM (12 years ago)
Author:
Hartmut Kaiser
Message:

Spirit: one minor fix, which should speed up things slightly

(No files)

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