diff options
| author | Joel Sherrill <joel@rtems.org> | 2018-12-20 09:19:05 -0600 |
|---|---|---|
| committer | Joel Sherrill <joel@rtems.org> | 2018-12-20 09:19:05 -0600 |
| commit | e4087f06150ecc9c023e70fe40c792a2d3fdaafc (patch) | |
| tree | 5261eefeae1ee7d8ab3c6d036819e2de919d12f3 /.gitignore | |
| parent | 6682434bf21f53d3bd64e0509b4df9524b17646a (diff) | |
Peter requested this after reviewing the converted content. He
noted that it was a nit but he had consistently used his middle
initial in all academic settings and wanted to be consistent.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions