Re: [armedbear-ticket] [armedbear] #34: adjust generated '*.cls' filenames

#34: adjust generated '*.cls' filenames -----------------------+---------------------------------------------------- Reporter: mevenson | Owner: somebody Type: defect | Status: new Priority: major | Milestone: Component: other | Version: Resolution: | Keywords: -----------------------+----------------------------------------------------

Comment(by ehuelsmann):

On the other hand, I know we currently have users who want to control loading of non-java generated classes. Our .cls filenames allow that.