Markus Blatt 20d12f5b53 [bugfix] Use file not filename to remove files not in current directory. ...

Passing just the filename to remove only will remove files in the
current directory. When --output-dir the files would not have been
removed.

2019-01-16 12:01:46 +01:00

..

autodiff

Only warn and show parallel logging fallout on demand.

2019-01-14 13:06:21 +01:00

core

removing DynamicListEconLimited

2019-01-08 11:28:11 +01:00

simulators

[bugfix] Use file not filename to remove files not in current directory.

2019-01-16 12:01:46 +01:00