cartographer
cartographer copied to clipboard
Save map builder options in options proto. Rename it to BuilderOptions.
RFC=https://github.com/googlecartographer/rfcs/pull/38
I verified that the pbstream info tool correctly prints out the map builder options for .pbstreams produced with this version of Cartographer. For older pbstreams it just prints out an empty string for map builder options.
@ojura this was reviewed and approved a long time ago but somehow not merged. It is now outdated and has many conflicts. Do you still have time to resolve the conflict?