Revision - 5d4f452 - issue 39 is tools not base

Revision 5d4f452f079d35ceb34fe4e20d6bd72aa9810928 authored by David Carlisle on 23 April 2018, 16:02:09 UTC, committed by David Carlisle on 23 April 2018, 16:02:09 UTC

issue 39 is tools not base

1 parent aed758b

Files
Changes

Permalinks

.gitignore

build/
/.consign

*.*~
*.*#
*.aux
base/*.pdf
doc/*.pdf
required/*/*.pdf

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...