diff options
author | Mattias Andrée <maandree@kth.se> | 2023-07-01 08:54:45 +0200 |
---|---|---|
committer | Mattias Andrée <maandree@kth.se> | 2023-07-01 08:54:49 +0200 |
commit | 2a9d939f8876aaed2462725bc2d82a503528b7c6 (patch) | |
tree | a85d08b0a6aead60d173362282a99a11726699ab /.gitignore | |
parent | Improve .gitignore (diff) | |
download | optimised-true-2a9d939f8876aaed2462725bc2d82a503528b7c6.tar.gz optimised-true-2a9d939f8876aaed2462725bc2d82a503528b7c6.tar.bz2 optimised-true-2a9d939f8876aaed2462725bc2d82a503528b7c6.tar.xz |
Change PREFIX to /usr
Signed-off-by: Mattias Andrée <maandree@kth.se>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions