search

CoatiSoftware / Sourcetrail

Sourcetrail - free and open-source interactive source explorer
https://www.sourcetrail.com/
GNU General Public License v3.0
14.94k stars 1.41k forks source link

Refresh just one file #1187

Open egraether opened 3 years ago

egraether commented 3 years ago

E.g. a file affected by a fatal error.