On 01/02/13 20:41, Ken Takata wrote:
Hi toothpik,
2013/02/02 Sat 4:27:54 UTC+9 toothpik:
that was my point: version.c didn't get updated by my 'hg pull' so version
still
shows 797
Did you do 'hg update' after 'hg pull'?
Thanks,
Ken Takata
Good point. "hg pull" by itself makes the new changesets known to
Mercurial, but changes nothing to your source codebase. To get the
latest source you need either
hg pull
hg update -r default
or (with the fetch extension enabled)
hg fetch
If you're a git old-timer, note that hg pull corresponds to git fetch
and hg fetch corresponds to git pull. I don't know why it happened this way.
For details, see
hg help pull
hg help update
hg help extensions
(the latter will tell you which extensions are enabled, which ones are
known but disabled, and how to enable/disable more of them)
and (with the fetch extension enabled)
hg help fetch
Best regards,
Tony.
--
The basic menu item, in fact the ONLY menu item, would be a food unit
called the "patty," consisting of -- this would be guaranteed in
writing -- "100 percent animal matter of some kind." All patties would
be heated up and then cooled back down in electronic devices
immediately before serving. The Breakfast Patty would be a patty on a
bun with lettuce, tomato, onion, egg, Ba-Ko-Bits, Cheez Whiz, a Special
Sauce made by pouring ketchup out of a bottle and a little slip of
paper stating: "Inspected by Number 12". The Lunch or Dinner Patty
would be any Breakfast Patties that didn't get sold in the morning.
The Seafood Lover's Patty would be any patties that were starting to
emit a serious aroma. Patties that were too rank even to be Seafood
Lover's Patties would be compressed into wads and sold as "Nuggets."
-- Dave Barry, "'Mister Mediocre' Restaurants"
--
--
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
---
You received this message because you are subscribed to the Google Groups "vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
