0687login:Penguin垢版 | 大砲2019/10/24(木) 10:30:44.22ID:sz6NwaIM distrowatch 見ていたら debian (formerly debian/GNU Linux )となってる。 いつから、"/GNU Linux" が無くなったんだろ? なんでなくなったんだろ?