diff options
author | Andrey Andreev <narf@devilix.net> | 2015-05-12 11:04:52 +0200 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2015-05-12 11:04:52 +0200 |
commit | abbd31f466ad5b921e37498f7c6d7069bf3255b3 (patch) | |
tree | a1706f669e1897b71453cd72c428bbb843eee829 /user_guide_src/source/general | |
parent | 5bd7e0188d5a61f3be9a8531531d3103cbb44e66 (diff) | |
parent | c836f2af72536733fa1cc990b46522b9ef16153e (diff) |
Merge pull request #3842 from ftwbzhao/feature/lasttime
[ci skip] Minor userguide corrections
Diffstat (limited to 'user_guide_src/source/general')
-rw-r--r-- | user_guide_src/source/general/reserved_names.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/user_guide_src/source/general/reserved_names.rst b/user_guide_src/source/general/reserved_names.rst index a7b0c3465..5d745cba6 100644 --- a/user_guide_src/source/general/reserved_names.rst +++ b/user_guide_src/source/general/reserved_names.rst @@ -75,6 +75,7 @@ Constants - FOPEN_READ_WRITE_CREATE - FOPEN_WRITE_CREATE_STRICT - FOPEN_READ_WRITE_CREATE_STRICT +- SHOW_DEBUG_BACKTRACE - EXIT_SUCCESS - EXIT_ERROR - EXIT_CONFIG |