Age | Commit message (Expand) | Author |
---|---|---|
2016-11-18 | adding concept index and license information | Christian Grothoff |
2016-03-17 | removing garbage | Marcello Stanisci |
2016-03-15 | clarify licenses | Christian Grothoff |
2015-01-29 | initial import of merchant logic (FTBFS) | Christian Grothoff |