Skip to content

Post cleanup2

Alexander Glazov requested to merge post_cleanup2 into master

-- remove another set of obsolete files. Make sure that headers are not used anywhere -- make sure that "make dist" is working.

Merge request reports