julia
5645fb21 - rm ubuntu nightly ppa as not actively maintained (#23484)

Commit

8 years ago

rm ubuntu nightly ppa as not actively maintained (#23484) * rm ubuntu nightly ppa as not actively maintained * rm list of outdated repos

References

Author

xgdgsc

Committer

andreasnoack

Parents