Strip '*' prefix from label names.
[official-gcc.git] / libjava / scripts / 
tree83d60bb9779cd47a0bce649ad7459ab3d6dc9096
drwxr-xr-x   ..
-rw-r--r-- 2249 MakeDefaultMimeTypes.java
-rw-r--r-- 2088 classes.pl
-rw-r--r-- 7437 mime.types