Remove unused Industry::random_triggers
tree697871699cddc331cd4ad6c49646758f23da5860
-rw-r--r-- 794 .gitignore
-rw-r--r-- 450 .hgignore
-rw-r--r-- 18212 COPYING
-rw-r--r-- 9448 Doxyfile
-rw-r--r-- 10960 Makefile.bundle.in
-rw-r--r-- 4099 Makefile.grf.in
-rw-r--r-- 6742 Makefile.in
-rw-r--r-- 3993 Makefile.lang.in
-rw-r--r-- 1696 Makefile.msvc
-rw-r--r-- 3325 Makefile.setting.in
-rw-r--r-- 11805 Makefile.src.in
drwxr-xr-x - bin
-rw-r--r-- 504971 changelog.txt
-rw-r--r-- 112832 config.lib
-rwxr-xr-x 6219 configure
drwxr-xr-x - docs
-rwxr-xr-x 5350 findversion.sh
-rw-r--r-- 24085 known-bugs.txt
drwxr-xr-x - media
drwxr-xr-x - os
drwxr-xr-x - projects
-rw-r--r-- 35724 readme.txt
-rw-r--r-- 22168 source.list
drwxr-xr-x - src