chiark / gitweb /
~ianmdlvl / cura.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f4d315) | patch
Filter out symlinks in /Volumes/ instead of filtering on name.
authorDaid <Daid303@gmail.com>
Mon, 29 Oct 2012 09:59:19 +0000 (10:59 +0100)
committerDaid <Daid303@gmail.com>
Mon, 29 Oct 2012 09:59:19 +0000 (10:59 +0100)
commit24261360cf654a551a89f7449becee36faa16003
tree11cb14f6e3b94f9ae507f711a16b5e207578fdf2tree | snapshot
parent7f4d315629a964d8fef10c5a2347a618fc3553e0commit | diff
Filter out symlinks in /Volumes/ instead of filtering on name.
Cura/gui/preferencesDialog.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.