build: change capitalization of history file

This commit is contained in:
Douglas Christopher Wilson
2014-09-06 00:34:48 -04:00
parent 0e55151d19
commit 832afc19ee
View File