diff options
Diffstat (limited to 'source.list')
| -rw-r--r-- | source.list | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/source.list b/source.list index ce3c50729..cc9d10c99 100644 --- a/source.list +++ b/source.list @@ -691,6 +691,10 @@ table/water_land.h 3rdparty/md5/md5.cpp 3rdparty/md5/md5.h +# Compat +3rdparty/optional/optional.hpp +3rdparty/optional/ottd_optional.h + # Script script/script_config.cpp script/script_config.hpp |