All public logs
From MaRDI portal
Combined display of all available logs of MaRDI portal. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 12:39, 25 October 2023 Schubotz talk contribs created page User:Delete page script (Created page with "Usage log: # <source inline>/var/www/html/maintenance# ./run deleteBatch pagelist.txt</source> cf. https://github.com/MaRDI4NFDI/portal-compose/issues/409")