needed for Sevilla lights

2004-12-10 11:24:42 +00:00
parent 4b9baed41a
commit 9d5c103d17
20 changed files with 663 additions and 13 deletions
@@ -0,0 +1 @@
+interface Resource = reuse AllResource ;