chiark / gitweb /
Support loading a profile ini file from the commandline.
authordaid <daid303@gmail.com>
Wed, 16 May 2012 11:52:42 +0000 (13:52 +0200)
committerdaid <daid303@gmail.com>
Wed, 16 May 2012 11:52:42 +0000 (13:52 +0200)
commit92048ed25578fc3b55278db602eb6a9312ec0400
treed492588e76233920fda0d402fd39484d40d0e5ad
parentb4a643e45f03ba0585b201d6fec5b65d79b641e4
Support loading a profile ini file from the commandline.
Cura/cura.py