Rename `linux' to `gnu_linux'.
authorRichard M. Stallman <rms@gnu.org>
Sun, 2 Oct 2011 22:43:52 +0000 (18:43 -0400)
committerRichard M. Stallman <rms@gnu.org>
Sun, 2 Oct 2011 22:43:52 +0000 (18:43 -0400)
commit423dbf9b1e682291f32cf901ad71c586eeca3958
tree454274953746e74cd83c332a644e471a4102f27f
parent64522086318c6fefcd591c1a562a289776b2737f
Rename `linux' to `gnu_linux'.
ChangeLog
configure.in