mcilwain 6fb9858198 Remove the unused flags extension ...

It can always be brought back if we find an actual use case for it, but for now, it shouldn't be in the standard distribution given that it has no users.

-------------
Created by MOE: https://github.com/google/moe
MOE_MIGRATED_REVID=143044153

2017-01-09 11:59:04 -05:00

18 KiB

Raw Blame History

View Raw