Changeset 11ab4e in git


Ignore:
Timestamp:
Oct 4, 2013, 6:05:24 PM (9 years ago)
Author:
Janko Boehm <boehm@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
Children:
8b1af66f3fa0c89a69c53ece141ce180bd7462a6
Parents:
69b030fa82c47c378fcf1d4a45c0927de369858d
git-author:
Janko Boehm <boehm@mathematik.uni-kl.de>2013-10-04 18:05:24+02:00
git-committer:
Janko Boehm <boehm@mathematik.uni-kl.de>2013-10-25 18:08:33+02:00
Message:
added assume
File:
1 edited

Legend:

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