modified Feb 15, 2007 by Carl Friedrich Bolz
objspace.usemodules.time
back to parent
- name: time
- description: use module time
- command-line: --withmod-time
- command-line for negation: --withoutmod-time
- option type: boolean option
- default: False
Use the 'time' module.
Obsolete; use --withmod-rctime for our up-to-date version
of the application-level 'time' module.
