From 9123dbd19667b95e5a9c7a8c3b22bb698781a23e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Sun, 23 Sep 2012 21:06:50 +0000
Subject: [PATCH] moved Annotation to subproject as well

---
 {src/main/scala/leon => library}/Annotations.scala | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename {src/main/scala/leon => library}/Annotations.scala (100%)

diff --git a/src/main/scala/leon/Annotations.scala b/library/Annotations.scala
similarity index 100%
rename from src/main/scala/leon/Annotations.scala
rename to library/Annotations.scala
-- 
GitLab