From 6aee819d5de27faf6b04ebd325bc758c920d7f2d Mon Sep 17 00:00:00 2001 From: Jonas Platte Date: Mon, 24 Aug 2020 21:14:02 +0200 Subject: [PATCH] federation-api: get_public_rooms_filtered/mod.rs => get_public_rooms_filtered.rs --- .../mod.rs => get_public_rooms_filtered.rs} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename ruma-federation-api/src/directory/{get_public_rooms_filtered/mod.rs => get_public_rooms_filtered.rs} (100%) diff --git a/ruma-federation-api/src/directory/get_public_rooms_filtered/mod.rs b/ruma-federation-api/src/directory/get_public_rooms_filtered.rs similarity index 100% rename from ruma-federation-api/src/directory/get_public_rooms_filtered/mod.rs rename to ruma-federation-api/src/directory/get_public_rooms_filtered.rs