Tue, 08 Oct 2013 09:54:44 +0200 Correct dump_record, correct some namespaces. Correct bug https://github.com/IRI-Research/plan4learning/issues/2
ymh <ymh.work@gmail.com> [Tue, 08 Oct 2013 09:54:44 +0200] rev 143
Correct dump_record, correct some namespaces. Correct bug https://github.com/IRI-Research/plan4learning/issues/2
(0) -100 -30 -10 -1 +1 +10 +30 tip