e16
/
e16
3
0
Fork 1
Code Issues Pull Requests Projects Releases Wiki Activity

e_gen_menu: Rename to e_gen_menu.pl 

About to be replaced but let's keep this one around for a bit.
This commit is contained in:
Kim Woelders 2022-02-12 16:07:29 +01:00
parent a790d21492
commit 8c6817fd99
2 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/Makefile.am
View File

@ -1,5 +1,5 @@
scriptdir = $(pkgdatadir)/scripts
script_SCRIPTS = e_gen_menu e_cache_clean e_cache_query session.sh
script_SCRIPTS = e_gen_menu.pl e_cache_clean e_cache_query session.sh
EXTRA_DIST = $(script_SCRIPTS)

0
scripts/e_gen_menu → scripts/e_gen_menu.pl
View File