diff options
| author | Amin Bandali <bandali@gnu.org> | 2023-09-13 21:36:31 -0400 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2023-09-13 21:36:31 -0400 |
| commit | f133d2e70ad0ce9fbfb7f874a46d6983ad0f33f7 (patch) | |
| tree | 042c863a2b645e5167245c9b699e45fa26e48014 /.profile | |
| parent | 4db9033212fbb10792a5b33f31948909e594022d (diff) | |
| download | configs-f133d2e70ad0ce9fbfb7f874a46d6983ad0f33f7.tar.gz configs-f133d2e70ad0ce9fbfb7f874a46d6983ad0f33f7.tar.xz configs-f133d2e70ad0ce9fbfb7f874a46d6983ad0f33f7.zip | |
Port compilation hiding advice to advice-add, but disable it
Diffstat (limited to '.profile')
0 files changed, 0 insertions, 0 deletions