Alexander Iljin
|
504c9959a1
|
Update some copyright headers to follow the current convention
Had to look through the history to find years for some headers. Added
authors to some files as well.
|
2017-09-11 15:43:03 -07:00 |
Doug Coleman
|
352e5de16a
|
core, basis, extra: Remove DOS line endings from files.
Remove whitespace from end of lines.
Add a newline to the end of each file.
|
2015-06-29 17:25:40 -07:00 |
Keith Lazuka
|
405e5d015b
|
docs: change $subsection to $subsections
|
2009-10-02 12:15:48 -04:00 |
Joe Groff
|
d039c803eb
|
env vocab for accessing the environment as an assoc
|
2009-04-23 12:08:30 -05:00 |