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: wikibugs-l@lists.wikimedia.org
Reporter: yu...@wikimedia.org
CC: dduv...@wikimedia.org, o...@wikimedia.org,
yuvipa...@gmail.com
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
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
