| Release Date | December 25, 1957 | |
|---|---|---|
| Status | Released | |
| Original Title | Portugal | |
| Runtime | 30min | |
| Budget | — | |
| Revenue | — | |
| Language | English | |
| Original Language | English | |
| Production Countries | United States of America | |
| Production Companies | Walt Disney Productions | |
| Release Date | December 25, 1957 | |
|---|---|---|
| Status | Released | |
| Original Title | Portugal | |
| Runtime | 30min | |
| Budget | — | |
| Revenue | — | |
| Language | English | |
| Original Language | English | |
| Production Countries | United States of America | |
| Production Companies | Walt Disney Productions | |