Timestamp:
2009-03-12T15:56:53Z (16 years ago)
Author:
Martin Decky <martin@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
8de4421
Parents:
95b4838d
Message:

interpret negative inference properly

(No files)

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