diff options
-rw-r--r-- | doc/note/links/links.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/note/links/links.txt b/doc/note/links/links.txt index 076baf3..683b780 100644 --- a/doc/note/links/links.txt +++ b/doc/note/links/links.txt @@ -154,6 +154,7 @@ Links (Aka argument amplifiers) - [Spotless produces crap](https://gitit.post.ch/projects/ISA/repos/minetti/pull-requests/14/overview) - [Spotless produces crap](https://gitit.post.ch/projects/ISA/repos/veet/pull-requests/2/overview?commentId=233638) - [Spotless produces crap](https://gitit.post.ch/projects/ISA/repos/trin/pull-requests/79) +- [Linter produces crap](https://gitit.post.ch/projects/ISA/repos/preflux/pull-requests/567/overview?commentId=237627) - [Suddenly NEW formatting rules in PaISA since 2021](https://gitit.post.ch/projects/ISA/repos/watson/pull-requests/1/overview?commentId=234597) - "https://gitit.post.ch/projects/ISA/repos/zarniwoop/pull-requests/20/overview?commentId=85912" - "https://gitit.post.ch/projects/ISA/repos/zarniwoop/pull-requests/21/overview?commentId=87250" |