Programming Languages Research Group: Git - smartapps.git/atom - official historyUnnamed repository; edit this file 'description' to name the repository.http://plrg.eecs.uci.edu/git/?p=smartapps.gitstatic/git-favicon.pngstatic/git-logo.png2020-05-21T16:04:22ZgitwebChanging remote branch to PLRG Git server.2020-05-21T16:04:22Zrtrimanartrimana@uci.edurtrimanartrimana@uci.edu2020-05-21T16:04:22Zhttp://plrg.eecs.uci.edu/git/?p=smartapps.git;a=commitdiff;h=a0422b6e2c78a59a0d2e33ea4675d681f234348a