Commit Graph

2 Commits

Author SHA1 Message Date
Christian Grothoff
c626ccac51 second round of renamefest 2015-03-28 11:06:00 +01:00
Christian Grothoff
eae1896a4b major rename-fest for more constent symbol names 2015-03-27 19:58:40 +01:00