swh:1:snp:af87cd67498ef4fe47c76ed3e7caffe5b61facaf
History
Tip revision: 2cd3aafb76e161c5e687de877863ffeb4022b4b0 authored by Gerardo Ganis on 11 June 2012, 16:52:22 UTC
Import patch r44048 removing the automatic creation of TDrawFeedback in TProofChain
Tip revision: 2cd3aaf
File Mode Size
v520
v522
v524
v526
v528
v530
LICENSE -rw-r--r-- 1.7 KB
README -rw-r--r-- 8.6 KB
index.txt -rw-r--r-- 406 bytes

README

back to top