aboutsummaryrefslogtreecommitdiff
path: root/doc/coding-style.txt
AgeCommit message (Collapse)Author
2019-09-18use pre-built man and texinfo from docs.gitFlorian Dold
2016-03-01renaming mint->exchangeChristian Grothoff
2015-03-27major rename-fest for more constent symbol namesChristian Grothoff
2015-03-24address #3708: melt_hash => session_hash, use session_hash for DB access, ↵Christian Grothoff
not session_pub
2015-03-24formulating coding styleChristian Grothoff