Blame | Last modification | View Log | RSS feed
type 'XXXX' { pstring[100]; }; resource 'XXXX' (1){ "foo!" };