~mdw
/
strayman
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
420183b
9518b89
)
Merge branch 'master' of /home/mdw/public-git/strayman
author
Mark Wooding
<mdw@distorted.org.uk>
Wed, 1 Nov 2006 15:11:27 +0000
(15:11 +0000)
committer
Mark Wooding
<mdw@distorted.org.uk>
Wed, 1 Nov 2006 15:11:27 +0000
(15:11 +0000)
* 'master' of /home/mdw/public-git/strayman:
infra: Expunge revision history clutter.
Ignore boring files.
Build the package before the documentation.
infra: Clean up project setup
1
2
strayman.dtx
patch
|
diff1
|
diff2
|
blob
|
history
diff --cc
strayman.dtx
Simple merge