Merge branch 'RevGraph_filter'
tree3bf5bf39a15cfda2ad334320cc1d05036fb64582
-rw-r--r-- 1327 .editorconfig
-rw-r--r-- 9 .gitattributes
-rw-r--r-- 617 .gitignore
-rw-r--r-- 2097 .gitlab-ci.yml
-rw-r--r-- 1239 .gitmodules
-rw-r--r-- 804 .mailmap
-rw-r--r-- 354 .tgitconfig
-rw-r--r-- 18496 LICENSE
drwxr-xr-x - Languages
-rw-r--r-- 3974 README.md
-rw-r--r-- 7093 appveyor.yml
-rw-r--r-- 6664 architecture.txt
-rw-r--r-- 3558 build.txt
drwxr-xr-x - contrib
drwxr-xr-x - doc
drwxr-xr-x - ext
-rw-r--r-- 1132 release.txt
drwxr-xr-x - src
drwxr-xr-x - test