[frama-c] modified: sources

[Mark Rader]

commit 8f9fbb7fd2efe3e6a639a58ac993eac07d0064b2
Author: Mark Rader <msrader at gmail.com>
Date:   Tue Jan 18 16:20:05 2011 -0600

    	modified:   sources

 sources |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/sources b/sources
index 9a16e5d..5cbf1d9 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-4775a1c3281826717ca9b4de5ce3fefe  frama-c-1.5.licensing
+4350b26e277f7be176423be2b3420506  frama-c-Boron-20100401.tar.gz