diff options
| author | Andrei Vagin <avagin@google.com> | 2020-08-07 17:59:07 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-08-07 18:01:06 -0700 |
| commit | b7a97fe33541fa400cc2b949baf0b31634d2410c (patch) | |
| tree | 3f8b3bf064d636631386e3eb1a3a4ec6fee51e20 /tools | |
| parent | 0b7cd1e751f70cf6b335754d2b173d9c12b674c7 (diff) | |
Remove doc rules for non-existent files
These files have been deleted by cl/324775563.
PiperOrigin-RevId: 325543067
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions