amalgame/commit

rename evaluate button to manual edit in case the node is already the evaluation node

authorJacco van Ossenbruggen
Mon Aug 11 11:16:50 2014 +0200
committerJacco van Ossenbruggen
Mon Aug 11 11:16:50 2014 +0200
commitdf5094646b0fb905cc6d789389745a9c036895a0
tree5c08463e1d4bc641c37847d621cd18fe7b386fc5
parente2bd101e8fa50f6993138a23175eaf0af63ca8c6
Diff style: stat patch
 web/js/infobox.js | 2 ++
 1 file changed, 2 insertions(+)