Admin/isatest/settings/mac-poly
changeset 35062 fc1594f6adbc
parent 34238 b28be884edda
child 36100 a8912920ef4f
     1.1 --- a/Admin/isatest/settings/mac-poly	Tue Feb 09 08:28:12 2010 +0100
     1.2 +++ b/Admin/isatest/settings/mac-poly	Tue Feb 09 13:54:27 2010 +0100
     1.3 @@ -24,3 +24,4 @@
     1.4  
     1.5  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -g false"
     1.6  
     1.7 +init_component /home/isabelle/contrib_devel/kodkodi