diff options
author | Eva Hasler <ehasler@saxnot.inf.ed.ac.uk> | 2012-05-10 21:54:24 +0400 |
---|---|---|
committer | Eva Hasler <ehasler@saxnot.inf.ed.ac.uk> | 2012-05-10 21:54:24 +0400 |
commit | 30deedde9f1ce5ef22a5f3c4a6b660bac48989cd (patch) | |
tree | 239051c1b15325a9f53a358c781293801721e3aa /OnDiskPt/Main.h | |
parent | 93bb01b2e408a1fbdbbdfec8f4b89ade561759d7 (diff) |
changed permission, everything changed..
Diffstat (limited to 'OnDiskPt/Main.h')
-rwxr-xr-x[-rw-r--r--] | OnDiskPt/Main.h | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/OnDiskPt/Main.h b/OnDiskPt/Main.h index 41a24a239..41a24a239 100644..100755 --- a/OnDiskPt/Main.h +++ b/OnDiskPt/Main.h |