diff options
author | Amaury Forgeot d'Arc <amauryfa@gmail.com> | 2014-11-12 00:20:48 +0100 |
---|---|---|
committer | Amaury Forgeot d'Arc <amauryfa@gmail.com> | 2014-11-12 00:20:48 +0100 |
commit | 4da466318831a2fda5337b2810e2560b6b3a09f3 (patch) | |
tree | b01f8962a92432776c2cf33c175d2893ec186759 /pypy/doc/config | |
parent | Kill "rctime" module, use time directly. (diff) | |
download | pypy-4da466318831a2fda5337b2810e2560b6b3a09f3.tar.gz pypy-4da466318831a2fda5337b2810e2560b6b3a09f3.tar.bz2 pypy-4da466318831a2fda5337b2810e2560b6b3a09f3.zip |
Rename 'rctime' to plain 'time'.
Try to remove all references to rctime.
Diffstat (limited to 'pypy/doc/config')
-rw-r--r-- | pypy/doc/config/objspace.usemodules.rctime.txt | 7 | ||||
-rw-r--r-- | pypy/doc/config/objspace.usemodules.time.txt | 4 |
2 files changed, 0 insertions, 11 deletions
diff --git a/pypy/doc/config/objspace.usemodules.rctime.txt b/pypy/doc/config/objspace.usemodules.rctime.txt deleted file mode 100644 index 7e3b679b35..0000000000 --- a/pypy/doc/config/objspace.usemodules.rctime.txt +++ /dev/null @@ -1,7 +0,0 @@ -Use the 'rctime' module. - -'rctime' is our `rffi`_ based implementation of the builtin 'time' module. -It supersedes the less complete :config:`objspace.usemodules.time`, -at least for C-like targets (the C and LLVM backends). - -.. _`rffi`: ../rffi.html diff --git a/pypy/doc/config/objspace.usemodules.time.txt b/pypy/doc/config/objspace.usemodules.time.txt index 9127c2d7b1..6853f2eef6 100644 --- a/pypy/doc/config/objspace.usemodules.time.txt +++ b/pypy/doc/config/objspace.usemodules.time.txt @@ -1,5 +1 @@ Use the 'time' module. - -Obsolete; use :config:`objspace.usemodules.rctime` for our up-to-date version -of the application-level 'time' module, at least for C-like targets (the C -and LLVM backends). |