diff options
author | Rasmus Andersson <rasmus@notion.se> | 2017-08-25 04:23:54 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2017-08-25 04:23:54 +0300 |
commit | 35b665572888a0b54c792dd5270fc4aaa740b4ef (patch) | |
tree | 940e59048e82ddca7c59bed2f37734efabecae45 /Makefile | |
parent | d8975d91355311ffc7f1ec4cb9092495adf36a22 (diff) | |
download | inter-35b665572888a0b54c792dd5270fc4aaa740b4ef.tar.xz |
adjust misc/gen-tnum.py
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions