diff options
| author | Joerg Jaspert <joerg@debian.org> | 2016-01-04 22:41:52 +0100 |
|---|---|---|
| committer | Joerg Jaspert <joerg@debian.org> | 2016-01-04 22:41:52 +0100 |
| commit | 4f4eae10516e674d85a5062c566f919dcad68a47 (patch) | |
| tree | d761c512cb39a95b0617b38a8e03d465c0792646 /.bash_profile | |
| parent | 164a56fbf1c51b66cf51b5b6a1f22eedfbd507a2 (diff) | |
Archive serial, parseable date header
Get the archive serial from upstream and put it into our file,
so easier to see when we last updates.
Also put a parseable date header into the tracefile
Diffstat (limited to '.bash_profile')
0 files changed, 0 insertions, 0 deletions