diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2017-11-03 01:50:46 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2017-11-03 01:50:46 -0700 |
| commit | a89c1bed26fd05fc25034e43901c7f03351721a2 (patch) | |
| tree | 1f269a69ecc25d84c2fd99070a9be79c491b0c9f /continuation1.mu | |
| parent | a3195d440d2f0e99400db78e5a4386691c94a9a0 (diff) | |
| download | mu-a89c1bed26fd05fc25034e43901c7f03351721a2.tar.gz | |
4104
Stop hardcoding Max_depth everywhere; we had a default value for a reason but then we forgot all about it.
Diffstat (limited to 'continuation1.mu')
0 files changed, 0 insertions, 0 deletions