diff --git a/machines/lebesgue/tools/server/fs-diff b/tools/server/fs-diff
similarity index 100%
rename from machines/lebesgue/tools/server/fs-diff
rename to tools/server/fs-diff