Updated copyright for policy-driven classes, which is a contribution from Colin Adams.

This commit is contained in:
2013-08-21 14:00:34 +02:00
parent 9938cc941d
commit 517720c99c
15 changed files with 56 additions and 17 deletions

View File

@@ -275,7 +275,7 @@ invariant
unavailability_duration_xor_unavailable_until: unavailability_duration > 0 implies unavailable_until = Void
;note
copyright: "2011-2013, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Eiffel Software and others"
copyright: "2011-2013, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Colin Adams, Eiffel Software and others"
license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
source: "[
Eiffel Software