cbde34620c
update copyright years
2015-03-13 12:52:59 -06:00
9b7d0d1624
update copyright years
2014-04-23 15:33:41 -06:00
87b02eb949
update copyright years
...
Previously, I used a shell script to extract modification date ranges
from the Git history, but that was complicated and unreliable, so now
every file just gets the same year range in its copyright header. If
someone needs to know when a specific file was modified and by whom,
they can look at the Git history themselves; no need to include it
redundantly in the header.
2013-07-02 20:52:38 -06:00
0addd8c814
update copyright years
2012-05-11 17:43:27 -06:00
6ea444f6bf
Fixed incorrect handling of \r\n
2011-09-01 10:17:21 -06:00
fb3a23f02d
Fixed behavior of readLine accepting *\n\n as a line, not two
2011-09-01 09:31:08 -06:00
97e03b9f28
Fixed possible ArrayIndexOutOfBounds exception
2011-09-01 09:11:39 -06:00
c75b06ddc1
Added support for non POSIX line endings. Will now accept: \r and \r\n as line endings (per Sun's JavaDoc)
2011-08-31 20:46:15 -06:00
0ae338e74a
fix various bugs in BufferedReader.readLine
2008-07-15 08:59:00 -06:00
2edaa82801
prepend copyright notice and license to all source files; add license.txt and readme.txt
2008-02-19 11:06:52 -07:00
587dbeb163
bugfixes
2007-08-13 20:35:49 -06:00
a2bd7d0668
GC stress fixes and other bugfixes; classpath progress
2007-07-29 17:32:23 -06:00
51943427ad
classpath progress
2007-07-28 20:15:45 -06:00
a9e10d1c7f
more classpath progress
2007-07-28 19:29:01 -06:00
