summaryrefslogtreecommitdiff
path: root/doc/Makefile
diff options
context:
space:
mode:
authorYoni Rabkin <yoni@rabkins.net>2020-08-05 17:22:31 -0400
committerYoni Rabkin <yoni@rabkins.net>2020-08-05 17:22:31 -0400
commit84ce235f133459dd06c2d1a0a1c6e0d90f5770f1 (patch)
tree3be6b75126072fbc9eac198aa52308d9bacfa6b8 /doc/Makefile
parent0fc4737bd6fee2b621eb21963e693b2be99831da (diff)
Syncronize with Stefan's changes
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions