summaryrefslogtreecommitdiff
path: root/doc/coding-style.txt
AgeCommit message (Expand)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, not...Christian Grothoff
2015-03-24formulating coding styleChristian Grothoff