Filename Modification time Size GNU-GPL 2003-12-11 18:50 CET 18 KiB LICENSE 2003-12-11 18:50 CET 2399 B LICENSE-BITSTREAM 2003-12-11 18:50 CET 576 B