diff options
Diffstat (limited to 'INTERESTING_PROJECTS.org')
| -rw-r--r-- | INTERESTING_PROJECTS.org | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/INTERESTING_PROJECTS.org b/INTERESTING_PROJECTS.org index 08568c96..028ccea4 100644 --- a/INTERESTING_PROJECTS.org +++ b/INTERESTING_PROJECTS.org @@ -2,8 +2,6 @@ I have decided to not use GitHub stars any more. Mainly because it excludes projects not on GitHub. Also keeping things in a Org mode means I can classify and add notes. -See also [[TOOLS.org][tools I use]]. - * Coding ** Version control and code management - https://github.com/josh-project/josh Simpler alternative to moe/copybara. [[https://github.com/rust-lang/josh-sync][Wrapper tool for CI]] |