modules.py | raw changeset files shortlog |
1.1 --- a/modules.py Thu Jan 12 23:50:26 2017 +0100 1.2 +++ b/modules.py Sun Jan 15 16:18:03 2017 +0100 1.3 @@ -803,7 +803,9 @@ 1.4 1.5 print >>f 1.6 print >>f, "deferred:" 1.7 - print >>f, " ".join(map(str, self.deferred)) 1.8 + deferred = map(str, set(self.deferred)) 1.9 + deferred.sort() 1.10 + print >>f, " ".join(deferred) 1.11 1.12 print >>f 1.13 print >>f, "special:"