Sourcegraph: Difference between revisions

Content deleted Content added
History: The section was carefully copy-edited to distinguish between the product and the company. The ownership section was integrated into history. The part tagged [citation needed] was extended with all the necessary references.
m Category added
Line 133:
[[Category:Database management systems]]
[[Category:Code search engines]]
[[Category:Applications of artificial intelligence]]