What is Church of Saint Ildefonso?
{{Infobox church | name = Igreja de Santo Ildefonso | fullname = | image = Iglesia de San Ildefonso, Oporto, Portugal, 2012-05-09, DD 01.JPG | imagesize = 200px | caption = | coordinates = {{coord|41|08|46|N|8|36|24|W}} | location = [[Porto]] | country = [[Portugal]] | denomination = [[Roman Catholic]] | style = proto-Baroque | groundbreaking = 1709 | completed date = 18 July 1739 }} The '''''Igreja de Santo Ildefonso''''' is an eighteenth-century church in [[Porto]], [[Portugal]]. The church is located near [[Batalha Square]]. {{geo-stub}} [[Category:Buildings and structures in Porto]] [[Category:Churches in Europe]] [[Category:18th-century buildings and structures]]