Ressource-Typen

Die Extension definiert eine Filepointer-Ressource, die von gzopen zurückgegeben wird.