Annex re-ordering dir_to_dir
ActivePublic
Actions

Authored by haltode on May 19 2019, 6:45 AM.

Tags

None

Subscribers

None

	#!/bin/bash

	cat log_mph log_bv log_bfs log_transform > log
	rm log_*
	cat timings_mph timings_bv timings_obl timings_bfs timings_transform timings_obl2 timings_stats > timings
	rm timings_*

haltode created this object in space S1 Public.

Annex re-ordering dir_to_dirActivePublicActions