]>
2020-11-04 | Elias Fleckenstein | Revert "Make Lint Happy" | blob | commitdiff | raw |
2020-11-04 | Elias Fleckenstein | Make Lint Happy | blob | commitdiff | raw | diff to current |
2019-09-21 | SmallJoker | Fix AreaStore's IDs persistence (#8888) | blob | commitdiff | raw |
2019-05-18 | Jozef Behran | Optimize string (mis)handling (#8128) | blob | commitdiff | raw | diff to current |
2016-03-07 | ShadowNinja | Implement AreaStore serialization | blob | commitdiff | raw | diff to current |
2016-03-07 | ShadowNinja | Move AreaStore to util | blob | commitdiff | raw | diff to current |
2016-03-07 | ShadowNinja | Simplify AreaStore ID management | blob | commitdiff | raw | diff to current |
2015-07-27 | est31 | Add AreaStore data structure | blob | commitdiff | raw | diff to current |