Well zero coastline is even shorter than these two for sure ;) But even if we ignore the trivial cases and small islands, Wikipedia lists Gibraltar as having shorter coastline.