summaryrefslogtreecommitdiffstats
path: root/development/tora/tora.info
AgeCommit message (Expand)Author
2018-06-0920180609.1 global branch merge.current-20180609.1current Matteo Bernardini
2015-04-10development/tora: Added (database management). Giuseppe Di Terlizzi