log

age author description
Sun, 20 Jan 2013 16:36:25 +0000 diego Replace obsolete x86_cpu.h #includes by the correct header.
Sun, 20 Jan 2013 15:41:53 +0000 diego (Partially) synchronize .gitignore with svn:ignore properties.
Sun, 20 Jan 2013 13:56:08 +0000 ib Cosmetic: Remove/adjust comments.