Commit [5eeecd] Maximize Restore History

The default value DEFAULT_CLOCK is now defined in the file instead of in the makefile. It can be changed using parameter to configure. By Alexandre.

Haim Cohen Haim Cohen 2004-07-13

changed src/kernel.h
src/kernel.h Diff Switch to side-by-side view
Loading...