30504: Rename and remove distros files from #29129 and #30619

sagemath · Mar 17, 2021 · 3386749 · 3386749
1 parent 4f7398e
commit 3386749
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 1 deletion.
diff --git a/build/pkgs/docutils/distros/docutils.txt → build/pkgs/docutils/distros/opensuse.txt b/build/pkgs/docutils/distros/docutils.txt → build/pkgs/docutils/distros/opensuse.txt
diff --git a/build/pkgs/ninja_build/distros/centos.txt b/build/pkgs/ninja_build/distros/centos.txt