Skip to content

Commit

Permalink
remove trailing empty line from 18628-more_bitwise_in_Natural.rst
Browse files Browse the repository at this point in the history
  • Loading branch information
andres-erbsen authored Apr 30, 2024
1 parent 440441b commit 035fd03
Showing 1 changed file with 0 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -48,4 +48,3 @@
:g:`pow_lower_bound`
(`#18628 <https://github.com/coq/coq/pull/18628>`_,
by Pierre Rousselin).

0 comments on commit 035fd03

Please sign in to comment.