summaryrefslogtreecommitdiff
path: root/.gitattributes
diff options
context:
space:
mode:
authorfpi2020-04-05 19:00:52 +0200
committerfpi2020-04-05 20:46:08 +0200
commit60015f844b659b456b44eedc540a8106a1d1018f (patch)
tree529957684ca7708a37c948ac5e7a28acde7a346a /.gitattributes
parentInclude remote branches in the merge script (diff)
Add script to (re-)tangle all files
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions