From 82ba818ff456bcd6d56a06226e3f27e98fbb55c3 Mon Sep 17 00:00:00 2001 From: Craig Jennings Date: Thu, 14 Aug 2025 22:58:58 -0500 Subject: removing all downloaded devdocs files --- devdocs/gnu_make/metadata | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 devdocs/gnu_make/metadata (limited to 'devdocs/gnu_make/metadata') diff --git a/devdocs/gnu_make/metadata b/devdocs/gnu_make/metadata deleted file mode 100644 index e21af156..00000000 --- a/devdocs/gnu_make/metadata +++ /dev/null @@ -1,2 +0,0 @@ -(1 (name . "GNU Make") (slug . "gnu_make") (type . "gnu_make") (links (home . "https://www.gnu.org/software/make/manual/html_node/") (code . "http://git.savannah.gnu.org/cgit/make.git/")) (release . "4.4") (mtime . 1667596839) (db_size . 762165) (attribution . "Copyright © 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022 Free Software Foundation, Inc.
- Licensed under the GNU Free Documentation License.")) \ No newline at end of file -- cgit v1.2.3