Skip to content
Commit 63551288 authored by Kaushik Kulkarni's avatar Kaushik Kulkarni
Browse files

fixes small wrinkle so that we could move back to the old reduction interface.

parent ede0021e
Hide whitespace changes
Inline Side-by-side
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