Jakarta, IDN Times - Setiap 10 November, Indonesia memperingati Hari Pahlawan Nasional. Tentunya generasi muda harus tetap mengenang jasa-jasa mereka yang sudah berjuang sampai Indonesia merdeka, sesuai dengan istilah "jas merah" yang artinya jangan sekali-kali meninggalkan sejarah.
Bicara kemerdekaan, tentu tak lepas perjuangan seluruh elemen bangsa, termasuk peran kaum santri yang membuat tanah air bisa berdikari. Cukup banyak tokoh-tokoh santri yang berperan penting dalam sejarah Indonesia baik saat sebelum merdeka sampai pasca-kemerdekaan.
IDN Times pun berhasil merangkum lima pahlawan yang berlatar belakang santri. Siapa saja mereka? berikut adalah ulasannya.