Commit ee12f6f5 authored by Bernhard Schuster's avatar Bernhard Schuster Committed by GitHub
Browse files

minor doc chores (#4219)

* fix/warn: name is unused, only in debug would be used and but nobody does

* chore: Add better docs to `expansion` and why it exists

* chore: fmt

* Revert "chore: fmt"

This reverts commit 94d39bab5d1553d082a032ab6e31f579316dfa40.
parent 6fde727c
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment