diff options
| author | René Neumann <rene.neumann@in.tum.de> | 2012-02-23 18:22:37 +0100 |
|---|---|---|
| committer | René Neumann <rene.neumann@in.tum.de> | 2012-02-23 18:22:37 +0100 |
| commit | c538380ef3915c9c1adc036fc8d2292331898fc9 (patch) | |
| tree | d797ca02fc7b44546464b2156a686ec3b34aaac9 /.config | |
| parent | e3adc6d7ce5bc4737ef8c8fceec6f82094224252 (diff) | |
| download | dotfiles-c538380ef3915c9c1adc036fc8d2292331898fc9.tar.gz dotfiles-c538380ef3915c9c1adc036fc8d2292331898fc9.tar.bz2 dotfiles-c538380ef3915c9c1adc036fc8d2292331898fc9.zip | |
Do not use the find-theorems-form in PG
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions