From b858ee135c0814f1781cc16802a7b538d5f047a7 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Mon, 7 Jan 2008 19:09:17 +0000 Subject: Fix executable permissions added by Windoze. --- mlvirsh/mlvirsh.ml | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 100644 mlvirsh/mlvirsh.ml (limited to 'mlvirsh/mlvirsh.ml') diff --git a/mlvirsh/mlvirsh.ml b/mlvirsh/mlvirsh.ml old mode 100755 new mode 100644 -- cgit