diff options
author | René Neumann <rene.neumann@in.tum.de> | 2012-04-27 12:42:27 +0200 |
---|---|---|
committer | René 'Necoro' Neumann <necoro@necoro.net> | 2012-04-27 12:45:57 +0200 |
commit | f15aa7601dda9ec0827215ed34af02d8cf775b7d (patch) | |
tree | d00421669ea6c10b22a5bb0d1a7b887f4ba50bc7 /.xkb | |
parent | c5a260db34c7a5cf44e0266a345ab12da60f0c3d (diff) | |
download | dotfiles-f15aa7601dda9ec0827215ed34af02d8cf775b7d.tar.gz dotfiles-f15aa7601dda9ec0827215ed34af02d8cf775b7d.tar.bz2 dotfiles-f15aa7601dda9ec0827215ed34af02d8cf775b7d.zip |
Enable auto-quickcheck in isabelle
Diffstat (limited to '.xkb')
0 files changed, 0 insertions, 0 deletions