Tim Edwards
|
2af38a4191
|
Updates from running the fix-ending-whitespace script.
|
2020-05-23 17:13:14 -04:00 |
Tim 'mithro' Ansell
|
516ae506d7
|
Remove all the $XXX: YYY$
|
2020-05-23 17:00:38 -04:00 |
|
Tim 'mithro' Ansell
|
b28d10f80d
|
Convert $Id$ placeholders to $Header$ placeholders.
|
2020-05-23 17:00:38 -04:00 |
|
Tim 'mithro' Ansell
|
a5f050ce21
|
Convert expanded $Id:XXXXX$ values back to placeholder $Id$
|
2020-05-23 17:00:38 -04:00 |
|
Tim Edwards
|
231a299b16
|
Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky
|
2017-04-25 08:41:48 -04:00 |