diff options
author | Thomas Schwinge <thomas@codesourcery.com> | 2012-07-12 12:58:37 +0200 |
---|---|---|
committer | Thomas Schwinge <thomas@codesourcery.com> | 2012-07-12 12:58:37 +0200 |
commit | a8993a3d2c1ce9e3aba4b35c83c30ab547c5bbb3 (patch) | |
tree | dd3e1a413421c41d9e55dab0071a6a40d23d6fe9 /open_issues/gcc/log_install-linux.sed | |
parent | a1242af97ae9c5ae4335cceed041c66c63e028c6 (diff) | |
parent | b92dce4759117c3071dbcc224f80fca88f80fa50 (diff) |
Merge remote-tracking branch 'feldtkeller.SCHWINGE/master'
Diffstat (limited to 'open_issues/gcc/log_install-linux.sed')
-rw-r--r-- | open_issues/gcc/log_install-linux.sed | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/open_issues/gcc/log_install-linux.sed b/open_issues/gcc/log_install-linux.sed deleted file mode 100644 index 22880cc5..00000000 --- a/open_issues/gcc/log_install-linux.sed +++ /dev/null @@ -1 +0,0 @@ -s%i686-pc-linux-gnu%[ARCH]%g |