From 65aa5387ed804d7e3718ae818939b6f958bf34af Mon Sep 17 00:00:00 2001 From: Maamoun TK Date: Tue, 29 Aug 2023 14:59:19 +0300 Subject: [PATCH] Move hacl config headers to seperate directory --- sys/hacl/c/{include => config}/config.h | 0 sys/hacl/c/{include => config}/hacl.h | 0 sys/hacl/c/{include => config}/hacl128.h | 0 sys/hacl/c/{include => config}/hacl256.h | 0 sys/hacl/c/{include => config}/vale-aes.h | 0 5 files changed, 0 insertions(+), 0 deletions(-) rename sys/hacl/c/{include => config}/config.h (100%) rename sys/hacl/c/{include => config}/hacl.h (100%) rename sys/hacl/c/{include => config}/hacl128.h (100%) rename sys/hacl/c/{include => config}/hacl256.h (100%) rename sys/hacl/c/{include => config}/vale-aes.h (100%) diff --git a/sys/hacl/c/include/config.h b/sys/hacl/c/config/config.h similarity index 100% rename from sys/hacl/c/include/config.h rename to sys/hacl/c/config/config.h diff --git a/sys/hacl/c/include/hacl.h b/sys/hacl/c/config/hacl.h similarity index 100% rename from sys/hacl/c/include/hacl.h rename to sys/hacl/c/config/hacl.h diff --git a/sys/hacl/c/include/hacl128.h b/sys/hacl/c/config/hacl128.h similarity index 100% rename from sys/hacl/c/include/hacl128.h rename to sys/hacl/c/config/hacl128.h diff --git a/sys/hacl/c/include/hacl256.h b/sys/hacl/c/config/hacl256.h similarity index 100% rename from sys/hacl/c/include/hacl256.h rename to sys/hacl/c/config/hacl256.h diff --git a/sys/hacl/c/include/vale-aes.h b/sys/hacl/c/config/vale-aes.h similarity index 100% rename from sys/hacl/c/include/vale-aes.h rename to sys/hacl/c/config/vale-aes.h