aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2012-03-02 16:36:41 +0000
committerSimon Peyton Jones <simonpj@microsoft.com>2012-03-02 16:36:41 +0000
commit833e6de190eab5c1b2cc856ccc3c7edbbdbe4b0f (patch)
tree24bfc488236e83cbdf5543046a841d315aa0c5e8 /.gitignore
parent53a15353b9521a049cb9bbc033acd3654a52033f (diff)
Follow changes in data representation from the big PolyKinds commit
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions