diff libgui/src/gui-preferences-ed.h @ 31236:a103cfd738c5

build: Fix Makefile rule emitting note about duplicate rule (cset 1a0756f7c90a). * libgui/src/module.mk: Delete unnecessary addition of current working directory to DIRSTAMP_FILES variable.
author Rik <rik@octave.org>
date Wed, 21 Sep 2022 13:48:27 -0700
parents c6c4c6f04170
children d3231a604a62
line wrap: on
line diff