[frama-c] modified: modified frama c to use frama-c-Boron-20100401 and lbl2bt Changed but not updated:

[Mark Rader]

commit 55eb841804025e49797dcb3c93ed94ceb557a66d
Author: Mark Rader <msrader at gmail.com>
Date:   Sun Aug 15 14:46:35 2010 -0500

    	modified:   modified frama c to use frama-c-Boron-20100401 and lbl2bt
     Changed but not updated:
    
    	deleted:    frama-c-1.4-fix-ocamlgraph-detection.patch
    	deleted:    frama-c-1.4-licensing
    	deleted:    frama-c-1.4-ptests-fix-for-ocaml-3.11.2.patch
    	deleted:    frama-c-Fix-weak-pattern-matching-in-dynlink_lower_311_byte.patch
    	deleted:    frama-c.desktop
    	modified:   frama-c.spec
            added:      frama-c-Boron-20100401
            added:      frama-c-1.5.licensing
            added:      frama-c-gui.desktop

 .gitignore |    3 +++
 sources    |    4 +++-
 2 files changed, 6 insertions(+), 1 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index d4a1b14..2092118 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,4 @@
 frama-c-Beryllium-20090902.tar.gz
+frama-c-Boron-20100401.tar.gz
+frama-c-1.5.licensing
+frama-c-gui.desktop
diff --git a/sources b/sources
index c6a8bfe..c4a4f87 100644
--- a/sources
+++ b/sources
@@ -1 +1,3 @@
-a713f362cf62af434b23f79186e4d8e7  frama-c-Beryllium-20090902.tar.gz
+4350b26e277f7be176423be2b3420506  frama-c-Boron-20100401.tar.gz
+4775a1c3281826717ca9b4de5ce3fefe  frama-c-1.5.licensing
+0931774c54488efc3ed9860879aa7ac7  frama-c-gui.desktop