https://bugzilla.wikimedia.org/show_bug.cgi?id=71496
Bug ID: 71496
Summary: Please rename mediawiki-vagrant.gemspec to another
name
Product: MediaWiki-Vagrant
Version: unspecified
Hardware: All
OS: All
Status: NEW
Severity: enhancement
Priority: Unprioritized
Component: General
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected],
[email protected]
Web browser: ---
Mobile Platform: ---
Would it be ok to rename mediawiki-vagrant.gemspec to any name that doesn't
start with mediawiki? This way autocomplete completes the mediawiki dir with a
'/', making typing paths much easier.
Its simply a minor anoyaance :)
--
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
