edubuntu-menueditor 1.3.5-0ubuntu2 source package in Ubuntu


edubuntu-menueditor (1.3.5-0ubuntu2) quantal; urgency=low

  * Update icon to new Menu Editor icon
  * Update case in .desktop entry
 -- Jonathan Carter <email address hidden>   Wed, 30 May 2012 15:30:50 -0400

Upload details

Uploaded by:
Jonathan Carter on 2012-05-30
Uploaded to:
Original maintainer:
Ubuntu MOTU Developers
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Eoan release on 2019-04-18 universe misc
Disco release on 2018-10-30 universe misc
Cosmic release on 2018-05-01 universe misc
Bionic release on 2017-10-24 universe misc
Artful release on 2017-04-20 universe misc
Xenial release on 2015-10-22 universe misc
Trusty release on 2013-10-18 universe misc


Quantal: [FULLYBUILT] i386


File Size SHA-256 Checksum
edubuntu-menueditor_1.3.5.orig.tar.gz 35.3 KiB 0c9326a904334922d2bb352389367426e4d3081cbc442a80abba641b766097f4
edubuntu-menueditor_1.3.5-0ubuntu2.debian.tar.gz 7.2 KiB 1935774186cd38524967281dcee0f63f55191053450788e71f43a43e97c695b4
edubuntu-menueditor_1.3.5-0ubuntu2.dsc 1.8 KiB 2338a011bdce0b1c843796b55b50bf86af0fa6f5f672a7e4eb8db843c7d2c329

Available diffs

View changes file

Binary packages built by this source

edubuntu-menueditor: Simple ui to manage different menu profiles on a system

 This program can be used to apply different profile to user on a system. First,
 create a menu archive using menueditor, then apply it with profilemanager.
 Those applications can be used to apply menu profiles to groups so the
 administrator can manages them for the system instead of managing files in user
 home directory.