Closed this issue 4 years ago · 1 comments
These APIs read and manipulate file timestamps and are problematic. See issue #4
They have been removed in Drake v1.0.0-rc2.