diff options
Diffstat (limited to 'source.list')
| -rw-r--r-- | source.list | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/source.list b/source.list index 62159f8c6..fa952530f 100644 --- a/source.list +++ b/source.list @@ -619,6 +619,7 @@ ai/api/ai_industry.hpp ai/api/ai_industrylist.hpp ai/api/ai_industrytype.hpp ai/api/ai_industrytypelist.hpp +ai/api/ai_info_docs.hpp ai/api/ai_list.hpp ai/api/ai_log.hpp ai/api/ai_map.hpp |