Rename hosttrace to omnitrace (#18)
This commit is contained in:
کامیت شده توسط
GitHub
والد
752424efc2
کامیت
39cf760a4e
@@ -1,3 +1,6 @@
|
||||
# Edit files
|
||||
*~
|
||||
|
||||
# Prerequisites
|
||||
*.d
|
||||
|
||||
|
||||
مرجع در شماره جدید
Block a user