r11769: remove pentium4 optimized version
[ctsim.git] / debian / docs
1 NEWS
2 README
3 TODO
4 AUTHORS