diff options
author | Thomas Waldmann <tw@waldmann-edv.de> | 2016-05-21 19:06:01 +0200 |
---|---|---|
committer | Thomas Waldmann <tw@waldmann-edv.de> | 2016-05-21 19:06:01 +0200 |
commit | 3ce35f68439843eebf1f08698440b24762835e71 (patch) | |
tree | bbcf779140e284523f7328e57edc9d4e95cd472d /.gitignore | |
parent | 76839362e20ea055a9368557f7cb5e535fb3fa77 (diff) | |
parent | 1a0277021c40eebc7f9503144470855d7fb47fe5 (diff) |
Merge branch 'master' into move-to-src
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index c453176eb..059bf2d37 100644 --- a/.gitignore +++ b/.gitignore @@ -11,6 +11,7 @@ crypto.c platform_darwin.c platform_freebsd.c platform_linux.c +platform_posix.c *.egg-info *.pyc *.pyo |