Xiang Xiao e0dcfa0c55 Remove extra whitespace from files (#43) ...

* Remove multiple newlines at the end of file
* Remove the white space from the end of line

2020-01-31 08:29:24 -06:00

..

modprint

Remove extra whitespace from files (#43)

2020-01-31 08:29:24 -06:00

sotest

Remove extra whitespace from files (#43)

2020-01-31 08:29:24 -06:00

.gitignore

Remove extra whitespace from files (#43)

2020-01-31 08:29:24 -06:00

Makefile

Makefile: Fix warning: jobserver unavailable: using -j1. Add '+' to parent make rule.

2020-01-19 07:24:21 -06:00

mksymtab.sh

Remove extra whitespace from files (#43)

2020-01-31 08:29:24 -06:00