mirror of
https://github.com/clusterio/clusterio.git
synced 2026-11-11 23:04:52 +09:00
Hornwitser
f1ac41bc4c
Add check in filter_updated_techs that ignores already researched
technologies.
This is a port of b0eb188.