diff options
author | Fabián Heredia Montiel <303897+fabianhjr@users.noreply.github.com> | 2023-10-01 22:53:43 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-01 22:53:43 -0600 |
commit | 72b10ff62f9da475e13e8bbc677f6deaefaa0c69 (patch) | |
tree | 0aefda3603a3c8e0132f383b8a45989b6c6478dd /pkgs/tools/typesetting | |
parent | 6677927236025bd0cb07f5df5d9413aa66499603 (diff) | |
parent | f1116caeb6c4d101257220381e1cc3d61dc71c46 (diff) |
Merge pull request #258278 from markuskowa/split-libxsmm
libxsmm: split outputs -> out, dev, doc
Diffstat (limited to 'pkgs/tools/typesetting')
0 files changed, 0 insertions, 0 deletions