Skip to content
Commit 5070ccb9 authored by Paul Tvete's avatar Paul Tvete
Browse files

Fix include file names 

Back in the old days, Windows only allowed eight character file names.
parent 1ea8daa6
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment