diff options
author | Stephane Glondu <steph@glondu.net> | 2024-02-18 11:27:10 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2024-02-18 11:27:10 +0100 |
commit | 895000003597c3f14f1440b942369a79856ff016 (patch) | |
tree | 8ef710e0325f85ab9ec09f8375968f16c7f94e45 /atddiff/test/no_locations_json/same_hash_new.atd | |
parent | c7db718bd8afae12e20ac8d58038e170db3d4423 (diff) | |
parent | d0b346d9ba0914a86575396b2a638fcd279837b1 (diff) |
Update upstream source from tag 'upstream/2.15.0'
Update to upstream version '2.15.0'
with Debian dir 24cbe27141ae2f9f69e85a31ebc4a0d8a975edec
Diffstat (limited to 'atddiff/test/no_locations_json/same_hash_new.atd')
-rw-r--r-- | atddiff/test/no_locations_json/same_hash_new.atd | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/atddiff/test/no_locations_json/same_hash_new.atd b/atddiff/test/no_locations_json/same_hash_new.atd new file mode 100644 index 0000000..86bd5b4 --- /dev/null +++ b/atddiff/test/no_locations_json/same_hash_new.atd @@ -0,0 +1 @@ +type t = (string * string) |