From 6fad44af4ae20b424ff1caddc8b38957897d400a Mon Sep 17 00:00:00 2001 From: Raymaekers Luca Date: Thu, 13 Nov 2025 12:37:21 +0100 Subject: checkpoint --- src/haversine/libs/lr/lr.h | 1 - src/haversine/libs/lr/lr_macros.h | 1 - src/haversine/libs/lr/lr_platform.h | 1 - src/haversine/libs/lr/lr_types.h | 1 - 4 files changed, 4 deletions(-) delete mode 120000 src/haversine/libs/lr/lr.h delete mode 120000 src/haversine/libs/lr/lr_macros.h delete mode 120000 src/haversine/libs/lr/lr_platform.h delete mode 120000 src/haversine/libs/lr/lr_types.h (limited to 'src/haversine/libs/lr') diff --git a/src/haversine/libs/lr/lr.h b/src/haversine/libs/lr/lr.h deleted file mode 120000 index 49fb375..0000000 --- a/src/haversine/libs/lr/lr.h +++ /dev/null @@ -1 +0,0 @@ -/home/aluc/proj/lr/lr.h \ No newline at end of file diff --git a/src/haversine/libs/lr/lr_macros.h b/src/haversine/libs/lr/lr_macros.h deleted file mode 120000 index 530249a..0000000 --- a/src/haversine/libs/lr/lr_macros.h +++ /dev/null @@ -1 +0,0 @@ -/home/aluc/proj/lr/lr_macros.h \ No newline at end of file diff --git a/src/haversine/libs/lr/lr_platform.h b/src/haversine/libs/lr/lr_platform.h deleted file mode 120000 index e387ee2..0000000 --- a/src/haversine/libs/lr/lr_platform.h +++ /dev/null @@ -1 +0,0 @@ -/home/aluc/proj/lr/lr_platform.h \ No newline at end of file diff --git a/src/haversine/libs/lr/lr_types.h b/src/haversine/libs/lr/lr_types.h deleted file mode 120000 index 6d2fa08..0000000 --- a/src/haversine/libs/lr/lr_types.h +++ /dev/null @@ -1 +0,0 @@ -/home/aluc/proj/lr/lr_types.h \ No newline at end of file -- cgit v1.2.3-70-g09d2