Skip to content

rename files

Philipp S. Sommerrequested to merge
rename-files into main

and remove DASF in the filenames, and rename the pulsar url builder

Merge request reports

A HIFIS Service | Privacy | Imprint | Support | Documentation | Changelog