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 /runsc/flag | |
parent | 0b7cd1e751f70cf6b335754d2b173d9c12b674c7 (diff) |
Remove doc rules for non-existent files
These files have been deleted by cl/324775563.
PiperOrigin-RevId: 325543067
Diffstat (limited to 'runsc/flag')
0 files changed, 0 insertions, 0 deletions