diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2022-08-04 13:23:45 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-04 13:23:45 +0200 |
commit | bc5907ff9432269802c8638e7cd146672a129695 (patch) | |
tree | e0a77fba532df3a8c6688dd958e18a6c7886c7bb /Makefile | |
parent | 075bf6e5565aff9fba0ea02f3333c82adf4dccee (diff) | |
parent | 4c8441be0a59cead901acdfc3285d835c400c615 (diff) |
Merge pull request #6862 from erikarvstedt/fix-flake-update-doc
docs/flake-update: fix example
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions