Skip to content

Commit

Permalink
Merge pull request #6209 from gassmoeller/remove_outdated_file
Browse files Browse the repository at this point in the history 
Remove long deprecated file
  • Loading branch information
@tjhei
tjhei authored Jan 21, 2025
2 parents af958a8 + 6ac1e31 commit 0f9a74b
Showing 1 changed file with 0 additions and 25 deletions.
25 changes: 0 additions & 25 deletions doc/indent
View file

This file was deleted.

0 comments on commit 0f9a74b

Please sign in to comment.