diff options
| author | Rich Seymour | 2023-06-05 00:06:25 +0000 |
|---|---|---|
| committer | GitHub | 2023-06-05 00:06:25 +0000 |
| commit | 751da0130322b63c5233904ecd2f7ff1c068c4e7 (patch) | |
| tree | 023dbc76922bfca34a8da0dba5bd89bd91ff6aff /runtime/queries/lean | |
| parent | 232d9f96a0d9144457716ec0a9309db2f6924ac8 (diff) | |
Update install.md instructions regarding symlinks (#7231)
* Update install.md
Fixes `ln` command line bug that could hit users moving from packaged to source builds.
* Remove extra 'how to' command example
Diffstat (limited to 'runtime/queries/lean')
0 files changed, 0 insertions, 0 deletions