git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8208 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
parent
b548c0dd22
commit
756eae9db9
|
@ -5,7 +5,8 @@
|
|||
* rep_core.sml --- core repository datastructures for su4sml
|
||||
* This file is part of su4sml.
|
||||
*
|
||||
* Copyright (c) 2005-2007, ETH Zurich, Switzerland
|
||||
* Copyright (c) 2005-2007 ETH Zurich, Switzerland
|
||||
* 2008 Achim D. Brucker, Germany
|
||||
*
|
||||
* All rights reserved.
|
||||
*
|
||||
|
|
Loading…
Reference in New Issue