products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/jEdit/package-files/linux/deb/  image not shown  

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)  ]