diff options
| author | Hendrik Tews | 2013-01-15 21:48:49 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2013-01-15 21:48:49 +0000 |
| commit | 4d8ae0622e6e93d14d62d8cc421d72c9704705b9 (patch) | |
| tree | fb9daa34980fe66ec73ca83c21e982f5ed480697 /generic/proof-tree.el | |
| parent | f9398ad0dc44972d745b6b3dab6fba36259e5eb0 (diff) | |
fix overriding distclean target
Diffstat (limited to 'generic/proof-tree.el')
0 files changed, 0 insertions, 0 deletions