diff options
Diffstat (limited to 'gcc_plugin')
| -rw-r--r-- | gcc_plugin/README.instrument_list.md (renamed from gcc_plugin/README.instrument_file.md) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/gcc_plugin/README.instrument_file.md b/gcc_plugin/README.instrument_list.md
index d0eaf6ff..d0eaf6ff 100644
--- a/gcc_plugin/README.instrument_file.md
+++ b/gcc_plugin/README.instrument_list.md
|