Lars Jung 072f1c8158 Fixes a edge-case problem with the API.

2012-10-16 15:16:20 +02:00

..

aai

More changes to init procedure and API.

2012-10-11 14:45:18 +02:00

php

Fixes a edge-case problem with the API.

2012-10-16 15:16:20 +02:00