Skip to content
Commit 45fa8d5f authored by Isuru Fernando's avatar Isuru Fernando
Browse files

Make PDE spec cute and symbolic

parent 65963f72