You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When calling ./doc/indent from the main directory, this picks up the file tests/resume_free_surface.cc and indents that. This is a bit annoying as this gets picked up as a tracked file and a call to git add -u, my usual, stages this change. I'm bound to unintentionally add this to a commit at some point.
Could we tweak the .cc file to have the correct indentation, or is there a better fix/should I use a different workflow?
The text was updated successfully, but these errors were encountered:
When calling
./doc/indent
from the main directory, this picks up the filetests/resume_free_surface.cc
and indents that. This is a bit annoying as this gets picked up as a tracked file and a call togit add -u
, my usual, stages this change. I'm bound to unintentionally add this to a commit at some point.Could we tweak the .cc file to have the correct indentation, or is there a better fix/should I use a different workflow?
The text was updated successfully, but these errors were encountered: