From 0ad895c0c1cbea234940bf7edea3d2b92e5f357d Mon Sep 17 00:00:00 2001 From: Iulia Dumitru Date: Fri, 7 Jul 2023 09:56:17 +0300 Subject: [PATCH] Move index-by-threadid rule to lang/correctness --- {threads => lang/correctness}/index_by_threadid.jl | 0 {threads => lang/correctness}/index_by_threadid.yml | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename {threads => lang/correctness}/index_by_threadid.jl (100%) rename {threads => lang/correctness}/index_by_threadid.yml (100%) diff --git a/threads/index_by_threadid.jl b/lang/correctness/index_by_threadid.jl similarity index 100% rename from threads/index_by_threadid.jl rename to lang/correctness/index_by_threadid.jl diff --git a/threads/index_by_threadid.yml b/lang/correctness/index_by_threadid.yml similarity index 100% rename from threads/index_by_threadid.yml rename to lang/correctness/index_by_threadid.yml