X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=tools%2FDisplay%2Fline_real_set_t.hpp;fp=tools%2FDisplay%2Fline_real_set_t.hpp;h=2f31709575c1c741de24b7772a3de4ae420fb37c;hb=008ec13cd73c8e9e7d1a596c24b85a8e5ed3f126;hp=2f31709575c1c741de24b7772a3de4ae420fb37c;hpb=e08781393afc0bd73e7335a36003b39ccc11122f;p=snark14.git

diff --git a/tools/Display/line_real_set_t.hpp b/tools/Display/line_real_set_t.hpp
old mode 100755
new mode 100644