3 Commits

Include renames

Author	SHA1	Message	Date
Xiaoyi Zhang	8aedd597af	Merge pull request #2548 from kuzkry:update-pump-manual ... PiperOrigin-RevId: 278702531	2019-11-05 17:08:27 -05:00
Krystian Kuzniarek	523ad489ef	update pump_manual.md	2019-11-02 01:08:24 +01:00
Krystian Kuzniarek	002905f29f	move the pumping script to googlemock	2019-10-25 17:03:39 +02:00