2025-08-30 20:01 CEST

spring: develop b01e9067 Diff ] Back to Repository ]
Author Committer Branch Timestamp Parent
det det develop 2008-09-18 03:21:09 develop e1a9a5fa
Changeset SpringInstaller
 * GUI tweaks



git-svn-id: https://spring.clan-sy.com/svn/spring/trunk@6434 37977431-3df6-0310-b722-df95706aa16b
mod - tools/SpringInstaller/debian/changelog Diff ] File ]
mod - tools/SpringInstaller/fileSystem.ml Diff ] File ]
mod - tools/SpringInstaller/release.sh Diff ] File ]
mod - tools/SpringInstaller/spring_installer.ml Diff ] File ]