diff options
| author | Rangi <remy.oukaour+rangi42@gmail.com> | 2018-12-31 17:20:28 -0500 |
|---|---|---|
| committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2018-12-31 17:20:28 -0500 |
| commit | 742df4fdb5cbc4ad3c48a9de291a32d1b0c0c9c6 (patch) | |
| tree | b650179c6e95b9d859698a9cfa5a9ae7f4f4ddcc /extras/dump_sections | |
| parent | e3bc378492992f0d7f8724c374d99b629f671219 (diff) | |
Remove the 'extras' submodule
Diffstat (limited to 'extras/dump_sections')
| m--------- | extras | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/extras b/extras deleted file mode 160000 -Subproject 2ae1ae2f19c842da965cd3db1b0da8bf108ac23 |