diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-03 12:37:29 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-03 12:37:29 +0100 |
commit | e2544b2fb5f59e2f9bcf0666b8c274a568c06084 (patch) | |
tree | c59867ba0bdc670108c7f2b81d3f779ef9013756 /dieter/procedures/automatic | |
parent | 88a5e2f6bea02a0f3b6ea32e6e7b4b96d1fbe9b7 (diff) |
delete of accidentially added tmp file
Diffstat (limited to 'dieter/procedures/automatic')
0 files changed, 0 insertions, 0 deletions