amalgame/commit

record and pass info on whether the selected mapping is a reference mapping or not

authorJacco van Ossenbruggen
Wed Jul 30 12:32:18 2014 +0200
committerJacco van Ossenbruggen
Wed Jul 30 12:32:18 2014 +0200
commit5f262d70d87aa5f4e73ff198cfc41bb9969d8d70
treeb728c246d0e9f1f52a45f54afaa1da418217e567
parent5f3e33d41a5762482dc9134d86f2550405280824
Diff style: stat patch
 web/js/mappinglist.js | 12 ++++++++++++
 1 file changed, 8 insertions(+), 4 deletions(-)