Programming Languages Research Group: Git - junction.git/atom - docs/install-folder.png historyUnnamed repository; edit this file 'description' to name the repository.http://plrg.eecs.uci.edu/git/?p=junction.gitPeizhao Oustatic/git-favicon.pngstatic/git-logo.png2016-02-09T01:18:01ZgitwebDon't copy CMake scripts to install folder2016-02-09T01:18:01ZJeff Preshingfilter-github@preshing.comJeff Preshingfilter-github@preshing.com2016-02-09T01:18:01Zhttp://plrg.eecs.uci.edu/git/?p=junction.git;a=commitdiff;h=70b651510a32915a5adeb94ff9b7cfbac6380609