# HG changeset patch # User Giorgos Keramidas <keramida at ceid.upatras.gr> # Date 1172149935 -7200 # Node ID 1df3c0f21d4f031939741e5899735e735d5026f9 # Parent 226df1808f16312ffc2acc4a41a6fd5de2d5de71 Make test-doctest.py and test-trusted.py executable.