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