share/hedgewars/Data/Names/pirate_hat.cfg
changeset 12642 317eb3210f7c
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/share/hedgewars/Data/Names/pirate_hat.cfg	Tue Oct 03 01:27:17 2017 +0200
@@ -0,0 +1,1 @@
+pirate