aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/exninfo.mli
Commit message (Expand)AuthorAge
* Updated Exninfo to the new Store type.Gravatar ppedrot2013-03-12
* Adding more primitives to ExninfoGravatar ppedrot2013-02-18
* Added exception enrichment. Now one can define additional arbitraryGravatar ppedrot2013-02-18