diff options
author | Henning Baldersheim <balder@yahoo-inc.com> | 2018-06-12 11:48:38 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-12 11:48:38 +0200 |
commit | 23d9213d4f58410cd78410dc10950b3bab86c563 (patch) | |
tree | 68f4e14449fe5581fde1a950380286c3d973e3f5 /document | |
parent | 49ea989662f402f6c96737636b497724a4bb457f (diff) | |
parent | 06d3ba8c9e0edea16dafce70c13280330c4ab59f (diff) |
Merge branch 'master' into balder/reduce-code-visibility-rebased
Diffstat (limited to 'document')
-rw-r--r-- | document/src/.gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/document/src/.gitignore b/document/src/.gitignore index 12cd838c514..a39df0815b3 100644 --- a/document/src/.gitignore +++ b/document/src/.gitignore @@ -1,4 +1,3 @@ Makefile.ini config_command.sh -document.mak project.dsw |