How do I open a .properties file extension?

I've gotten a little bit more used to coding nowadays, but I'm trying to change some data in order to open a Minecraft server. Everyone tells me to just open the server.properties and add my IP4V to it. I understand the IP part, but my computer won't open server.properties as an archive...I'm not... show more I've gotten a little bit more used to coding nowadays, but I'm trying to change some data in order to open a Minecraft server. Everyone tells me to just open the server.properties and add my IP4V to it. I understand the IP part, but my computer won't open server.properties as an archive...I'm not sure what this means, and no matter what I do the file won't open. I've used 7-zip and WinRAR but they tell me the same thing windows does: Can't open server.properties as an archive. What should I do to open this file?
3 answers 3