3
1
Back

0.2 -0.35 (end -0.5 0 (end 0.2 -0.35 (end -0.5 0 (end -5 6.5 (end 5 -7.9 (end -4.5 -4.5 (end 0.72 -4.5 (end 0.72 -4.5 (end 0.72 -4.5 (end 4.5 6 (end 0.8 6 (end -1.23 -6.85 (end -1.8 1.8 (end -1.8 1.8 (end -0.635 1.27 (end 1.27 -13.97 (end 2.286 1.016 (end -2.286 -1.016 (offset 0.254) hide (end 1.016 2.54 (end -1.016 -2.54 (offset 0) hide (length 0) hide (length 0) hide From 713014315986726ad96f361cfbc8e67551a6a879 Mon Sep 17 00:00:00 2001 Subject: [PATCH] More cleanup d12ec1f19bbae8f01395e4c76a152d3d4ce7a3d4 More repo cleanup, adopt github .gitignore file Select branches Hide Pull Requests There.

New Pull Request