Revert whitespace change

This commit is contained in:
Tony Garnock-Jones 2019-08-18 15:16:36 +01:00
parent 872ea562a2
commit 40d474d456
1 changed files with 4 additions and 4 deletions

View File

@ -276,10 +276,10 @@ They can also be strings or numbers or even dictionaries.
And very interestingly, they can also be other records: And very interestingly, they can also be other records:
#+BEGIN_SRC preserves #+BEGIN_SRC preserves
< <iri "https://www.w3.org/ns/activitystreams#Note"> <<iri "https://www.w3.org/ns/activitystreams#Note">
{ "to": [<iri "https://chatty.example/ben/">], {"to": [<iri "https://chatty.example/ben/">],
"attributedTo": <iri "https://social.example/alyssa/">, "attributedTo": <iri "https://social.example/alyssa/">,
"content": "Say, did you finish reading that book I lent you?" } > "content": "Say, did you finish reading that book I lent you?"}>
#+END_SRC #+END_SRC
Do you see it? This Record's label is... an =iri= Record! Do you see it? This Record's label is... an =iri= Record!