Commit 6019bc4

committed

Remove tools/xtime.ml, moved to the small test suite repo

1 parent 3505be5 commit 6019bc4Copy full SHA for 6019bc4

1 file changed

+0

-102

lines changed

tools
- xtime.ml

1 file changed

+0

-102

lines changed

`‎tools/xtime.ml`

-102

This file was deleted.

Comments

(0)