tree ad912253868e3f6aa1d8baf7716cf12f01eae23d
parent a9887cdf37862841e015b96aab6abb16baac4bc7
author Uri Shaked <uri@urishaked.com> 1669723343 +0200
committer Uri Shaked <uri@urishaked.com> 1670104392 +0200

cleanup: remove user_proj_example