products
/
Sources
/
formale Sprachen
/
Isabelle
/
Tools
/
jEdit
/
dist
/
jEdit
/
package-files
/
linux
/
deb
/
Quellcode-Bibliothek
©
Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: postinst Sprache: Unknown
#!/bin/sh
set -e
if [ "$1" = "configure" ] && [ -x /usr/bin/update-menus ]; then update-menus ; fi
[ Dauer der Verarbeitung: 0.15 Sekunden (vorverarbeitet)
]