diff options
author | David Bremner <bremner@debian.org> | 2015-09-21 22:04:34 -0300 |
---|---|---|
committer | David Bremner <bremner@debian.org> | 2015-09-21 22:04:34 -0300 |
commit | 68a9351702c6f264c503c44ccfc78e60923f77f4 (patch) | |
tree | 7850f7eb6cdb57be386814be6b84b73d93a9daf4 /notes.org | |
parent | e3a7e05c485f3c1ad16090baf0a330abcef19c1a (diff) |
write version to file in work-dir
We only do this if passed a working directory. The protocol is maybe a
bit odd, but filtering the output from emacs looks messy.
Diffstat (limited to 'notes.org')
0 files changed, 0 insertions, 0 deletions