engine
|
get_name_for_id -> GetNameForID
|
2016-03-31 18:58:52 +02:00 |
extractor
|
Simplfy name change announcement
|
2016-03-31 18:58:52 +02:00 |
server
|
Rename alternative -> alternatives
|
2016-03-31 18:58:52 +02:00 |
util
|
Implement viewport code to fix simplification
|
2016-03-31 18:58:52 +02:00 |