diff options
author | Andrey Andreev <narf@bofh.bg> | 2012-04-23 12:10:19 +0200 |
---|---|---|
committer | Andrey Andreev <narf@bofh.bg> | 2012-04-23 12:10:19 +0200 |
commit | 6f3fd0fe5e86f50422ab9398a33f7351986634b0 (patch) | |
tree | b5bda67045ecedac94ef2f8a53c6537e772a761b /user_guide_src/source/general/environments.rst | |
parent | b3f774bbbb81293326136e3e13297c3b8d49dfa4 (diff) | |
parent | ab3cab5a8f2afdd45ec8c6c365e43722781e54e6 (diff) |
Merge pull request #1271 from dixy/develop-microtime
Use parameter 'get_as_float' of microtime()
Diffstat (limited to 'user_guide_src/source/general/environments.rst')
0 files changed, 0 insertions, 0 deletions