From 32b2c81bd2f03d9b356436206403c3d3012f08a4 Mon Sep 17 00:00:00 2001 From: Nico Zevallos Date: Thu, 24 Aug 2023 19:15:39 -0400 Subject: [PATCH] Rename 2023-08-21-heterogeneous-multi-agent-ergodic-search to 2023-08-21-heterogeneous-multi-agent-ergodic-search.md --- ...rch => 2023-08-21-heterogeneous-multi-agent-ergodic-search.md} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename _posts/{2023-08-21-heterogeneous-multi-agent-ergodic-search => 2023-08-21-heterogeneous-multi-agent-ergodic-search.md} (100%) diff --git a/_posts/2023-08-21-heterogeneous-multi-agent-ergodic-search b/_posts/2023-08-21-heterogeneous-multi-agent-ergodic-search.md similarity index 100% rename from _posts/2023-08-21-heterogeneous-multi-agent-ergodic-search rename to _posts/2023-08-21-heterogeneous-multi-agent-ergodic-search.md