Date: Thursday, December 24, 2020 @ 09:34:55 Author: arojas Revision: 786925
Renamed to python-jupyterlab_server Deleted: jupyterlab_server/
Antonio Rojas via arch-commits Thu, 24 Dec 2020 01:35:16 -0800
Date: Thursday, December 24, 2020 @ 09:34:55 Author: arojas Revision: 786925
Renamed to python-jupyterlab_server Deleted: jupyterlab_server/