Skip to content

Fix #4482 and #9449: set Fossil ignore and clean settings locally#9469

Merged
bors merged 1 commit intorust-lang:masterfrom PaulDance:fossil-local-settingsMay 10, 2021
+56-51

Commits

Commits on May 9, 2021