rep_secureuml.sig removed
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7957 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
parent
d59880b811
commit
e0cb52c9e0
|
@ -69,7 +69,7 @@ Group is
|
|||
"command_query_consistency.sml"
|
||||
"taxonomy_consistency.sml"
|
||||
"interface_consistency.sml"
|
||||
"SecureUML_constraint.sml"
|
||||
(* "SecureUML_constraint.sml" *)
|
||||
|
||||
(* wccpog toplevel *)
|
||||
"wfcpog_registry.sml"
|
||||
|
|
Loading…
Reference in New Issue