source: @ 1063

Name	Size	Rev	Age	Author	Last Change
branches		1028	8 years	cfuguet	Fixing indentation in the README file
trunk	​	1063	4 years	alain	Improve the print_trace() function to display CP2 registers.