| author | blanchet |
| Fri, 27 May 2011 10:30:07 +0200 | |
| changeset 43007 | b48aa3492f0b |
| parent 41413 | 64cd30d6b0b8 |
| permissions | -rw-r--r-- |
|
41413
64cd30d6b0b8
explicit file specifications -- avoid secondary load path;
wenzelm
parents:
32632
diff
changeset
|
1 |
use_thys [ |
|
64cd30d6b0b8
explicit file specifications -- avoid secondary load path;
wenzelm
parents:
32632
diff
changeset
|
2 |
"Auth_Shared", |
|
64cd30d6b0b8
explicit file specifications -- avoid secondary load path;
wenzelm
parents:
32632
diff
changeset
|
3 |
"Auth_Public", |
|
64cd30d6b0b8
explicit file specifications -- avoid secondary load path;
wenzelm
parents:
32632
diff
changeset
|
4 |
"Smartcard/Auth_Smartcard", |
|
64cd30d6b0b8
explicit file specifications -- avoid secondary load path;
wenzelm
parents:
32632
diff
changeset
|
5 |
"Guard/Auth_Guard_Shared", |
|
64cd30d6b0b8
explicit file specifications -- avoid secondary load path;
wenzelm
parents:
32632
diff
changeset
|
6 |
"Guard/Auth_Guard_Public" |
|
64cd30d6b0b8
explicit file specifications -- avoid secondary load path;
wenzelm
parents:
32632
diff
changeset
|
7 |
]; |