marionnet-dev team mailing list archive

Thread
Date

[Branch ~marionnet-drivers/marionnet/trunk] Rev 533: Minor changes about GUI

To: marionnet-dev <marionnet-dev@xxxxxxxxxxxxxxxxxxx>
From: noreply@xxxxxxxxxxxxx
Date: Tue, 30 May 2023 20:27:17 -0000
Reply-to: noreply@xxxxxxxxxxxxx
Sender: noreply@xxxxxxxxxxxxx

------------------------------------------------------------
revno: 533
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
branch nick: WORKING
timestamp: Tue 2023-05-30 20:22:07 +0000
message:
  Minor changes about GUI
modified:
  bin/gui/gui_bricks.ml
  bin/gui/gui_glade3.xml
  bin/gui/gui_toolbar_COMPONENTS_layouts.ml
  bin/gui/ledgrid_manager.ml
  bin/gui/menu_factory.ml
  bin/gui/menu_factory.mli
  bin/initialization.ml


--
lp:marionnet
https://code.launchpad.net/~marionnet-drivers/marionnet/trunk

Your team marionnet-dev is subscribed to branch lp:marionnet.
To unsubscribe from this branch go to https://code.launchpad.net/~marionnet-drivers/marionnet/trunk/+edit-subscription