Stan Lo f1096c6ad4
Remove and stop syncing IRB documentation (#12416)
Follow-up to #12325

Since we're not generating IRB documentation, we don't need to sync
its `doc/` folder and keep the previous content.
2025-01-02 23:32:28 +09:00
..
2024-10-07 20:12:57 -04:00
2024-12-25 18:18:26 +09:00
2024-12-31 12:16:50 +00:00
2025-01-02 11:05:33 +09:00
2024-12-15 15:30:45 +09:00