Skip to content
GitLab
Unverified Commit 01153172 authored by Jerry Zhao's avatar Jerry Zhao Committed by GitHub
Browse files

Merge pull request #213 from ucb-bar/nospad 

Add config fragment for no scratchpads
parents 0d8bda51 c13b8f65
Pipeline #1513 failed with stages
in 0 seconds
Hide whitespace changes
Inline Side-by-side
Supports Markdown
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