|
From: | Rik |
Subject: | [Octave-bug-tracker] [bug #64277] GUI Preference file changed by something |
Date: | Mon, 5 Jun 2023 18:24:51 -0400 (EDT) |
Update of bug #64277 (project octave): Summary: GUI Prefernce file changed by something => GUI Preference file changed by something _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?64277> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |