diff options
author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2014-08-07 14:23:35 +0100 |
---|---|---|
committer | Edward Z. Yang <ezyang@cs.stanford.edu> | 2014-08-07 14:23:35 +0100 |
commit | d9b224f124edc99f051dfc0dcab922041654c36a (patch) | |
tree | 954d2f3ac21fcebdbdc9d78adecfd58c0263d3fa /html-test/ref/mini_GADTRecords.html | |
parent | 97b5fa2b7b9c8bd07d0be5068b2f031b58e8fc56 (diff) |
Ignore TAGS files.
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
Diffstat (limited to 'html-test/ref/mini_GADTRecords.html')
0 files changed, 0 insertions, 0 deletions