4 Commits

Author	SHA1	Message	Date
Christian Grothoff	b5cba32510	renaming mint->exchange	2016-03-01 15:35:04 +01:00
Christian Grothoff	eae1896a4b	major rename-fest for more constent symbol names	2015-03-27 19:58:40 +01:00
Christian Grothoff	55959bd01d	address #3708: melt_hash => session_hash, use session_hash for DB access, not session_pub	2015-03-24 16:56:06 +01:00
Christian Grothoff	73c9949fc5	formulating coding style	2015-03-24 13:19:38 +01:00