From 9ec84adc0111a6716b8d9f107931a7c73a49465f Mon Sep 17 00:00:00 2001
From: Laura Schreiber <laura.schreiber@inaf.it>
Date: Fri, 14 Feb 2025 15:21:54 +0000
Subject: [PATCH] Delete delete_element.pro, deprecated

---
 delete_element.pro | 32 --------------------------------
 1 file changed, 32 deletions(-)
 delete mode 100644 delete_element.pro

diff --git a/delete_element.pro b/delete_element.pro
deleted file mode 100644
index c85295c..0000000
--- a/delete_element.pro
+++ /dev/null
@@ -1,32 +0,0 @@
-; $Id: delete_element.pro, v 1.1 Mar 2012 e.d. $
-;
-;+
-; NAME:
-;	DELETE_ELEMENT
-;
-; PURPOSE:
-;	Delete last element from list of stars.
-;
-; CATEGORY:
-;	STARFINDER auxiliary procedures.
-;
-; CALLING SEQUENCE:
-;	Result = DELETE_ELEMENT(List)
-;
-; INPUTS:
-;	List:	input list to trim.
-;
-; OUTPUTS:
-;	Return trimmed list.
-;	
-; MODIFICATION HISTORY:
-; 	Written by:	Emiliano Diolaiti, June 2001.
-;   1) Created this file (E. D., March 2012).
-;-
-
-FUNCTION delete_element, list
-
-    on_error, 2
-    l = list  &  n = n_elements(l)
-    return, l[0:n-2]
-end
-- 
GitLab