Fix #7197: Invalidate depot buttons when necessary. (#7212)
tree331272647b78fb37fddcf50d437c419d7f7422a2
-rw-r--r-- 192 .dorpsgek.yml
-rw-r--r-- 131 .editorconfig
drwxr-xr-x - .github
-rw-r--r-- 813 .gitignore
-rw-r--r-- 469 .hgignore
-rw-r--r-- 9012 CONTRIBUTING.md
-rw-r--r-- 18211 COPYING
-rw-r--r-- 12855 Doxyfile
-rw-r--r-- 10992 Makefile.bundle.in
-rw-r--r-- 4471 Makefile.grf.in
-rw-r--r-- 6742 Makefile.in
-rw-r--r-- 3537 Makefile.lang.in
-rw-r--r-- 1696 Makefile.msvc
-rw-r--r-- 3004 Makefile.setting.in
-rw-r--r-- 11070 Makefile.src.in
-rw-r--r-- 39249 README.md
-rw-r--r-- 1596 azure-pipelines-ci.yml
-rw-r--r-- 160 azure-pipelines-release-stable.yml
-rw-r--r-- 121 azure-pipelines-release.yml
drwxr-xr-x - azure-pipelines
drwxr-xr-x - bin
-rw-r--r-- 520450 changelog.txt
-rw-r--r-- 113589 config.lib
-rwxr-xr-x 6123 configure
drwxr-xr-x - docs
-rwxr-xr-x 3228 findversion.sh
-rw-r--r-- 24414 known-bugs.txt
drwxr-xr-x - media
drwxr-xr-x - os
drwxr-xr-x - projects
-rw-r--r-- 22990 source.list
drwxr-xr-x - src