2507 Commits

Author	SHA1	Message	Date
Roberto Raggi	ceb73b720b	Reduced the number of generated #line directives.	2008-12-02 15:33:33 +01:00
hjk	df7aacd637	more file cosmetics	2008-12-02 15:08:31 +01:00
hjk	ab83dcd87c	off-by-one in headers	2008-12-02 14:20:25 +01:00
hjk	8a43d9b9f3	end-of-line whitespace correction of the new headers	2008-12-02 14:17:16 +01:00
Roberto Raggi	03b3f5b3a7	Removed obsolete code.	2008-12-02 13:15:26 +01:00
hjk	1472bdb0cc	some file cosmetics (mostly #include order and whitespace)	2008-12-02 12:57:59 +01:00
con	05c35356ab	Initial import	2008-12-02 12:01:29 +01:00