We bought our house 10 years ago, it’s detached but the house next door has a lean-to which joins onto our house. The wall of our house that it’s attached to is the boundary between the two properties. The lean-to was built years ago, long before we bought our house. We’re now selling and our buyer wants details about when the lean-to was built etc, but we don’t have any documents about it. It’s not that big so would it have needed planning permission? I suppose maybe it would as it’s attached to our house? Does anyone have any experience with this kind of situation? Thanks