Default annotation to source code#399

Open

piyush-J wants to merge 3 commits intoopprop:masterfrom

piyush-J:master-06-04

Commits on Jun 9, 2022

added command line argument to annotate source code with default annotation
piyush-J
committed

Commits on Jul 31, 2022

Merge branch 'master' into master-06-04
piyush-J
authored

Commits on Aug 4, 2022

Merge branch 'master' into master-06-04
wmdietl
authored