summaryrefslogtreecommitdiff
path: root/portato/gui
diff options
context:
space:
mode:
authorRené 'Necoro' Neumann <necoro@necoro.net>2009-02-21 01:18:24 +0100
committerRené 'Necoro' Neumann <necoro@necoro.net>2009-02-21 01:18:24 +0100
commitdd0919c900761bd76736ff790ca37f144e3de93d (patch)
treed7a6907e14614044fac87b89a3f4bffe25a4eda3 /portato/gui
parent8de1f4514cf29cee9d95de1b6e7c04b14dbe6a74 (diff)
downloadportato-dd0919c900761bd76736ff790ca37f144e3de93d.tar.gz
portato-dd0919c900761bd76736ff790ca37f144e3de93d.tar.bz2
portato-dd0919c900761bd76736ff790ca37f144e3de93d.zip
Use pickle instead of DBM, as this would require additional python modules
Diffstat (limited to 'portato/gui')
0 files changed, 0 insertions, 0 deletions
td>Make the quotes in ProofGeneral to be nearly invisibleRené Neumann1-1/+1 2011-08-23Disable hightlighting of the domain in the FF urlbarRené Neumann1-0/+3 2011-08-12Enhance IE scriptRené Neumann1-6/+7 2011-08-11BlaRené 'Necoro' Neumann1-0/+2 2011-08-11Local fontsRené 'Necoro' Neumann1-13/+22 2011-08-11Better inconsolata thingsRené Neumann4-4/+13 2011-08-10Moved some functions to their own filesRené Neumann3-124/+120 2011-08-10More advanced IE scriptRené Neumann2-1/+74 2011-08-10Inconsolata also in emacsRené Neumann1-1/+1 2011-08-10Better vim fontsRené 'Necoro' Neumann1-1/+1 2011-08-09ooffice aliasRené Neumann1-0/+2 2011-08-09Update the needed hg-extensions.René Neumann1-1/+2 2011-06-08gtkrc stuff for Qt-Gtk-StyleRené 'Necoro' Neumann2-0/+8 2011-06-08Updated fonts.conf to work better on lcdsRené 'Necoro' Neumann1-17/+6