Revision - 81a0a2c - license headers: remove a silly end-of-line space via git grep [...]

Revision 81a0a2cf9a90a3d4dc61e4b51501db5dc8f3fb5b authored by Harald Schilly on 06 May 2020, 08:31:25 UTC, committed by Harald Schilly on 06 May 2020, 08:31:25 UTC

license headers: remove a silly end-of-line space via git grep -P '^/\* $' | grep ':1:'  | cut -d: -f1 | xargs sed -i 's|^/\* $|/*|'

1 parent 0b38e94

Files
Changes

Permalinks

.gitmodules

[submodule "src/examples"]
	path = src/examples
	url = https://github.com/sagemathinc/cocalc-snippets.git

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...