Line comments instead of block comments 4

metamath / metamath-exe

Metamath program - source code for the Metamath executable

GNU General Public License v2.0

75 stars 25 forks source link

Line comments instead of block comments 4 #143

Closed GinoGiotto closed 1 year ago

GinoGiotto commented 1 year ago

Continuation of https://github.com/metamath/metamath-exe/pull/138.

This PR covers all (editable) h files. Same categories described in https://github.com/metamath/metamath-exe/pull/139 are applied. Comments that start with /*! are ignored.

GinoGiotto commented 1 year ago

@digama0 are these changes welcome? I could continue but I'm unsure if people want this since I'm not receiving any feedback.

david-a-wheeler commented 1 year ago

I'm pkay with changing to line comments.

That said, obviously these don't provide any functional improvements, so it's hard to get excited over the change:-).

digama0 commented 1 year ago

@GinoGiotto You have the green light to keep going with these PRs, sorry for the delay. Feel free to ping me if it looks like I've forgotten about it.

david-a-wheeler commented 1 year ago

Just to be clear, it's fine to make these changes!!