Revision 039d8fda7740aa9fa78ae0024900ef66b3979032 authored by Shuhei Kadowaki on 25 November 2022, 09:11:50 UTC, committed by GitHub on 25 November 2022, 09:11:50 UTC
This setting is similar to `:foldable` but for dead call elimination.
1 parent d0a211a
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...