martin 23e1f3f5d4 Use cpu index instead of ID for cpuctl; extend listing to provide both ... numbers (but now the ID is only informational).		2008-03-25 15:06:02 +00:00
..
Makefile	…
cpuctl.8	Use cpu index instead of ID for cpuctl; extend listing to provide both	2008-03-25 15:06:02 +00:00
cpuctl.c	Use cpu index instead of ID for cpuctl; extend listing to provide both	2008-03-25 15:06:02 +00:00