From f7ededa45146f91b0dd53d126450285cb9aad3a4 Mon Sep 17 00:00:00 2001
From: einarr <einarr@pvv.ntnu.no>
Date: Tue, 17 Oct 2006 17:50:18 +0000
Subject: [PATCH] Removed executable bit.

---
 fluents/fluents.py | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100755 => 100644 fluents/fluents.py

diff --git a/fluents/fluents.py b/fluents/fluents.py
old mode 100755
new mode 100644