tree 004c79e333eeb5a8841e5cd10c3ceef9a432bd2c
parent 3d3de8c4a4b3642d94d5e23cc6670e04e0e5091c
author paul <paul> 1053686639 +0000
committer paul <paul> 1053686639 +0000

slight addition to hasso's previous no_interface patch.