Joel Brobecker 28e7fd6234 Update years in copyright notice for the GDB files. ...

Two modifications:
  1. The addition of 2013 to the copyright year range for every file;
  2. The use of a single year range, instead of potentially multiple
     year ranges, as approved by the FSF.

2013-01-01 06:33:28 +00:00

..

ops_test.adb

…

ops.adb

…

ops.ads

…